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

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

Browse source 
Reviewed-on: https://code.forgejo.org/forgejo/end-to-end/pulls/178
Reviewed-by: thefox <thefox@noreply.code.forgejo.org>
This commit is contained in:
thefox 2024-05-19 08:59:09 +00:00
commit 56fb137646
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
lib/build.sh
View file

@ -25,6 +25,11 @@ fi
if ! [[ "$ref" =~ ^refs/ ]] ; then if ! [[ "$ref" =~ ^refs/ ]] ; then
ref=refs/heads/$ref ref=refs/heads/$ref
fi 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 fetch --update-head-ok origin +$ref:$ref
git switch --force-create $v $ref git switch --force-create $v $ref