summaryrefslogtreecommitdiff
path: root/dgit-badcommit-fixup
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2017-01-06 17:48:38 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2017-01-06 18:32:14 +0000
commitd93bea01f0863c3fa84a3dea79cb9076dcfd4ff5 (patch)
tree42de3f7ffffbc18720800b4b806bc501969e6e9c /dgit-badcommit-fixup
parent030ae37385ca7cb5d3ad6a05ecf381df15c49867 (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-xdgit-badcommit-fixup4
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 ];
}