From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 6 Jan 2017 18:13:34 +0000 (+0000)
Subject: dgit-badcommit-fixup: Do not detach HEAD - this is not needed
X-Git-Tag: archive/debian/2.16~6
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=commitdiff_plain;h=30285c0d7edaeb05605ff620f8d8d6d09d91f5c2

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

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

diff --git a/dgit-badcommit-fixup b/dgit-badcommit-fixup
index 72c719b1..32d5f0b1 100755
--- a/dgit-badcommit-fixup
+++ b/dgit-badcommit-fixup
@@ -244,11 +244,6 @@ if (!@updates) {
 
 open U, "|git update-ref -m 'dgit bad commit fixup' --stdin" or die $!;
 
-if ($real && $bare eq 'false') {
-    print "detaching your HEAD\n" or die $!;
-    runcmd 'git checkout --detach';
-}
-
 for my $up (@updates) {
     my ($ref, $old, $new, $nobackup) = @$up;
     my $otherref = $ref;