diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 17:48:38 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-06 18:32:14 +0000 |
commit | d93bea01f0863c3fa84a3dea79cb9076dcfd4ff5 (patch) | |
tree | 42de3f7ffffbc18720800b4b806bc501969e6e9c /dgit-badcommit-fixup | |
parent | 030ae37385ca7cb5d3ad6a05ecf381df15c49867 (diff) |
Change name of rewrite map ref (needs an extra / for git)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-badcommit-fixup')
-rwxr-xr-x | dgit-badcommit-fixup | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dgit-badcommit-fixup b/dgit-badcommit-fixup index cd62e68..2708e1c 100755 --- a/dgit-badcommit-fixup +++ b/dgit-badcommit-fixup @@ -196,7 +196,7 @@ foreach my $rline (split /\n/, $refs) { my ($obj, $type, $refname) = $rline =~ m/^(\w+)\s+(\w+)\s+(\S.*)/ or die "$_ ?"; - if ($refname eq 'refs/dgit-rewrite-map') { + if ($refname eq 'refs/dgit-rewrite/map') { $org_rewrite_map = $obj; continue; } @@ -214,7 +214,7 @@ foreach my $rline (split /\n/, $refs) { if ($bare eq 'true') { my $new_rewrite_map = edit_rewrite_map($org_rewrite_map); - push @updates, [ 'refs/dgit-rewrite-map', + push @updates, [ 'refs/dgit-rewrite/map', ($org_rewrite_map // '0'x40), $new_rewrite_map ]; } |