diff --git a/lib/build.sh b/lib/build.sh index 5ccc536..11bdf3a 100755 --- a/lib/build.sh +++ b/lib/build.sh @@ -26,9 +26,12 @@ if ! [[ "$ref" =~ ^refs/ ]] ; then ref=refs/heads/$ref fi for retry in 1 2 3 ; do - timeout 15m git fetch --update-head-ok origin +$ref:$ref && break - echo "Retry git fetch in 60 seconds" - sleep 60 + if timeout 15m git fetch --update-head-ok origin +$ref:$ref ; then + break + else + echo "Retry git fetch in 60 seconds" + sleep 60 + fi done git fetch --update-head-ok origin +$ref:$ref git switch --force-create $v $ref