chiark / gitweb /
tg-delete: Handle the case where the branch has been removed already, but the base...