chiark / gitweb /
hooks/pre-commit.sh: don't stop commits on non-topgit branches