chiark / gitweb /
tg delete: Allow branch delete if we aren't on symbolic HEAD
[topgit.git] / hooks /
drwxr-xr-x   ..
-rw-r--r-- 547 pre-commit.sh