chiark / gitweb /
jenkins: update fdroiddata if existing
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 25 Feb 2016 14:47:31 +0000 (14:47 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 10 Mar 2016 11:21:13 +0000 (11:21 +0000)
commit896d7240aa0395db02e1678d473ebabe26369688
tree339b4b25cb9dedf246be7d96f9c1b5349c194d55
parent261cbcd3ee143ddf9df49fe71243811cf54fd001
jenkins: update fdroiddata if existing

Also, when cloning, no need to specify the branch and only download that
one. We already have only a single branch. And forcing master isn't
necessary.
jenkins-build-makebuildserver