chiark / gitweb /
dgit-badcommit-fixup: Do not detach HEAD - this is not needed
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 6 Jan 2017 18:13:34 +0000 (18:13 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 6 Jan 2017 18:32:14 +0000 (18:32 +0000)
commit30285c0d7edaeb05605ff620f8d8d6d09d91f5c2
tree1a1dbaa3ae13b9b9a6d70f2c2f44b0c33dd1ed91
parent82ba0c6c552997a376968218d5e558fe491dfc6b
dgit-badcommit-fixup: Do not detach HEAD - this is not needed

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit-badcommit-fixup