summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2017-01-06 18:13:34 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2017-01-06 18:32:14 +0000
commit30285c0d7edaeb05605ff620f8d8d6d09d91f5c2 (patch)
tree1a1dbaa3ae13b9b9a6d70f2c2f44b0c33dd1ed91
parent82ba0c6c552997a376968218d5e558fe491dfc6b (diff)
dgit-badcommit-fixup: Do not detach HEAD - this is not needed
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-xdgit-badcommit-fixup5
1 files changed, 0 insertions, 5 deletions
diff --git a/dgit-badcommit-fixup b/dgit-badcommit-fixup
index 72c719b..32d5f0b 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;