chiark / gitweb /
dgit-badcommit-fixup: Do not detach HEAD - this is not needed