chiark / gitweb /
hooks/pre-commit: check .top* files in the to-be-commited tree