nm17/end-to-end
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

lib: retry git fetch a few times (take 2)

Browse source 
Wrap the failure in a if statement. Otherwise it will fail the first
time because the script runs under -e
This commit is contained in:
Earl Warren 2024-05-20 01:54:22 +02:00
parent 56fb137646
commit f6da41ec8e
No known key found for this signature in database
GPG key ID: 0579CB2928A78A00
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
lib/build.sh
View file

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