3 . new-git.sh - makes a bare repo on chiark, clones it, and pushes an
4 initial empty commit to it so that git push works as
7 . post-update - a post-update hook that runs other post-update hooks
9 . post-update-2chiark - a post-update hook that pushes to another repo