diff --git a/lib/build.sh b/lib/build.sh index 9ad74ec..5ccc536 100755 --- a/lib/build.sh +++ b/lib/build.sh @@ -25,6 +25,11 @@ fi 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 +done git fetch --update-head-ok origin +$ref:$ref git switch --force-create $v $ref