chiark / gitweb /
git-daemon: tidy up a bit