chiark / gitweb /
git-cache-proxy: housekeeping: use rm -rf, not remove_tree (which is weirdly broken)