refresh tag repo automatically

master
Dirk Heilig 2024-08-01 12:54:48 +02:00
parent 37a4bdd25d
commit c26cc7ac93
1 changed files with 1 additions and 0 deletions

View File

@ -28,6 +28,7 @@ $shellArgs = array_map(function($tag){
}, $tags);
system("rm -rf out");
system("git reset --hard");
system("git reset pull");
system("./make.sh " . implode(" ", $shellArgs));
chdir("out");