chiark / gitweb /
git-cache-proxy: Document some options in the head comment