chiark / gitweb /
server: only rm git mirror if the git history is getting too large