From: Hans-Christoph Steiner <hans@eds.org>
Date: Mon, 27 Nov 2017 09:06:47 +0000 (+0100)
Subject: jenkins: require successful `git fetch` before running tests
X-Git-Tag: 0.9~3
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=35ff37b1e2f0f624376a64fd24553c00212d2237;p=fdroidserver.git

jenkins: require successful `git fetch` before running tests
---

diff --git a/jenkins-build-all b/jenkins-build-all
index a1ee7c11..2abac58c 100755
--- a/jenkins-build-all
+++ b/jenkins-build-all
@@ -65,7 +65,7 @@ cd $WORKSPACE
 # this can be handled in the jenkins job, or here:
 if [ -e fdroiddata ]; then
     cd fdroiddata
-    git remote update -p
+    while ! git fetch origin --tags --prune; do sleep 10; done
     git checkout master
     git reset --hard origin/master
     # keep all the cloned source repos
diff --git a/jenkins-setup-build-environment b/jenkins-setup-build-environment
index abe123bd..a7829c6f 100755
--- a/jenkins-setup-build-environment
+++ b/jenkins-setup-build-environment
@@ -68,7 +68,7 @@ fi
 # this can be handled in the jenkins job, or here:
 if [ -e fdroiddata ]; then
     cd fdroiddata
-    while ! git fetch; do sleep 1; done
+    while ! git fetch origin --tags --prune; do sleep 10; done
     git remote update -p
     git checkout master
     git reset --hard origin/master