chiark / gitweb /
git-cache-proxy: housekeeping: Rename main dir to tmp before deleting to preserve...