chiark / gitweb /
Merge branch 'weblate' into 'master'
[fdroidserver.git] / jenkins-build-all
2017-11-27 Hans-Christoph Steinerjenkins: require successful `git fetch` before running...
2017-11-26 Hans-Christoph SteinerMerge branch 'rsync' into 'master'
2017-11-25 Hans-Christoph SteinerMerge branch 'no_rm' into 'master'
2017-11-25 Hans-Christoph SteinerMerge branch 'stop-hanging-on-git-ssh' into 'master'
2017-11-23 Hans-Christoph Steinerbuild: stop git from waiting forever at username/passwo...
2017-11-12 relanMerge branch 'master' into 'master'
2017-11-10 Hans-Christoph Steinerjenkins: some reliability fixes to the test scripts
2017-11-08 Hans-Christoph Steinerjenkins: rename scripts based on jenkins.debian.net...