From c26cc7ac9325a4280079ca809e50457cb00510e3 Mon Sep 17 00:00:00 2001 From: Dirk Heilig Date: Thu, 1 Aug 2024 12:54:48 +0200 Subject: [PATCH] refresh tag repo automatically --- src/queueWorker | 1 + 1 file changed, 1 insertion(+) diff --git a/src/queueWorker b/src/queueWorker index 0b3c7d0..667ee9e 100755 --- a/src/queueWorker +++ b/src/queueWorker @@ -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");