chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 780b0e9) | patch
jenkins-build-makebuildserver: retry `git fetch` until it works
authorHans-Christoph Steiner <hans@eds.org>
Wed, 26 Oct 2016 12:24:14 +0000 (14:24 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 22 May 2017 14:04:30 +0000 (16:04 +0200)
commit84dc4158371c0e0a9af9ee642800b3ee5a057543
treec772c075d2004ecf9da414442f576bc58dd2175btree | snapshot
parent780b0e9502a73acc3f259cb66b0ac4937d2cf4b1commit | diff
jenkins-build-makebuildserver: retry `git fetch` until it works

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.
jenkins-build-makebuildserver diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.