diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 18:13:34 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 18:32:14 +0000 |
commit | 30285c0d7edaeb05605ff620f8d8d6d09d91f5c2 (patch) | |
tree | 1a1dbaa3ae13b9b9a6d70f2c2f44b0c33dd1ed91 /dgit-badcommit-fixup | |
parent | 82ba0c6c552997a376968218d5e558fe491dfc6b (diff) |
dgit-badcommit-fixup: Do not detach HEAD - this is not needed
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-badcommit-fixup')
-rwxr-xr-x | dgit-badcommit-fixup | 5 |
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; |