--- /dev/null
+Three small bits:
+
+. new-git.sh - makes a bare repo on chiark, clones it, and pushes an
+ initial empty commit to it so that git push works as
+ expected.
+
+. post-update - a post-update hook that runs other post-update hooks
+
+. post-update-2chiark - a post-update hook that pushes to another repo