chiark / gitweb /
jenkins: try to prevent the build node from running out of disk space