chiark / gitweb /
tg-push: prevent handing branches more than once to git-push