chiark / gitweb /
hooks/pre-commit.sh: don't wail on detached head for missing .top* files