From 8059c8789c3e4e23c72c77f81b896677e24715e7 Mon Sep 17 00:00:00 2001 From: Manevolent Date: Sat, 17 Dec 2022 01:21:28 -0700 Subject: [PATCH] Update run.sh --- run.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/run.sh b/run.sh index 725d96b..99b770a 100755 --- a/run.sh +++ b/run.sh @@ -29,14 +29,14 @@ do continue fi - latest_commit=`git log "--format=%G? %H" | grep ^G | head -n 1 | cut -d' ' -f2` + latest_commit=`git log "--format=%G? %H" origin/master | grep ^G | head -n 1 | cut -d' ' -f2` if test -z $latest_commit; then sleep $delay continue fi git reset --hard >> $log 2>&1 - git checkout $latest_commit >> $log 2>&1 + git checkout $latest_commit -f >> $log 2>&1 if [ $? -ne 0 ]; then echo "Git checkout failed. For more details, see $log" sleep $delay