mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-13 22:42:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

jenkins-build-makebuildserver: retry git fetch until it works

Browse source 
It seems that gitlab gives 500 errors a bit too frequently, so keep
retrying the `git pull` until it works so that there isn't a error email
sent out over failed pulls.
This commit is contained in:
Hans-Christoph Steiner 2016-10-26 14:24:14 +02:00
parent 780b0e9502
commit 84dc415837
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
jenkins-build-makebuildserver
View file

@ -54,6 +54,7 @@ echo "apt_package_cache = True" >> $WORKSPACE/makebuildserver.config.py
# this can be handled in the jenkins job, or here: # this can be handled in the jenkins job, or here:
if [ -e fdroiddata ]; then if [ -e fdroiddata ]; then
cd fdroiddata cd fdroiddata
while ! git fetch; do sleep 1; done
git remote update -p git remote update -p
git checkout master git checkout master
git reset --hard origin/master git reset --hard origin/master