Update run.sh

2022-12-17 19:38:27 -07:00 · 2022-12-17 19:38:27 -07:00 · 8d513d9989
commit 8d513d9989
parent 18f4440487
1 changed files with 7 additions and 0 deletions
--- a/run.sh
+++ b/run.sh
@ -37,6 +37,13 @@ do
 	continue
  fi
  
+  if [ $current_commit == $latest_commit ]; then
+  	# Latest commit isn't different than the current one
+  	sleep $delay
+	continue
+  fi
+  
+  echo "Checking out $latest_commit..."
  git reset --hard
  git checkout $latest_commit -f
  if [ $? -ne 0 ]; then