Merge branch 'review/t-1o2bxcq7999.4' into live

1 files changed, 6 insertions, 0 deletions

diff --git a/Omni/Agent/start-worker.sh b/Omni/Agent/start-worker.sh
index 310ca56..457c83c 100755
--- a/Omni/Agent/start-worker.sh
+++ b/Omni/Agent/start-worker.sh
@@ -37,6 +37,12 @@ fi
 # Ensure worker has local task and agent binaries
 mkdir -p "$WORKER_PATH/_/bin"
 
+echo "Syncing worker repo..."
+if ! (cd "$WORKER_PATH" && git sync); then
+    echo "Error: Failed to run 'git sync' in worker directory."
+    exit 1
+fi
+
 echo "Building 'task' in worker..."
 if ! (cd "$WORKER_PATH" && bild Omni/Task.hs); then
     echo "Error: Failed to build 'task' in worker directory."