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

Merge pull request 'lib: retry git fetch a few times (take 2)' (#180) from earl-warren/end-to-end:wip-codeberg-retry into main

Browse source 
Reviewed-on: https://code.forgejo.org/forgejo/end-to-end/pulls/180
Reviewed-by: thefox <thefox@noreply.code.forgejo.org>
This commit is contained in:
thefox 2024-05-20 04:46:11 +00:00
commit 657e367db9
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
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
break
else
echo "Retry git fetch in 60 seconds" echo "Retry git fetch in 60 seconds"
sleep 60 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