From 8d513d99893f39a6caa10cdd2722ff0990533d4d Mon Sep 17 00:00:00 2001 From: Manevolent Date: Sat, 17 Dec 2022 19:38:27 -0700 Subject: [PATCH] Update run.sh --- run.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/run.sh b/run.sh index 91355d5..dbc5e37 100755 --- 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