chiark / gitweb /
tg delete: Allow branch delete if we aren't on symbolic HEAD