Co-authored-by: Cursor <cursoragent@cursor.com>
@@ -149,7 +149,7 @@ if [ ! -d .git ]; then
fi
git fetch origin
git checkout '${env.BRANCH}'
-git pull origin '${env.BRANCH}'
+git reset --hard origin/'${env.BRANCH}'
echo ">>> git at \$(git rev-parse --short HEAD) on \$(hostname)"
REMOTE_EOF
"""