chiark / gitweb /
jenkins-build-makebuildserver: make sure fdroiddata is on master