chiark / gitweb /
jenkins-test: force new repo setup for each build