summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2016-09-04 20:44:57 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2016-09-11 18:53:45 +0100
commited4a8beb1ea1d4c1036d20b64900d6a7e9cb4ece (patch)
tree02a785e7d27b7621618f1a6988ba51631c707e1b
parent19d8ae7e56d6257e2bb925d0a6f2d7f4329a4523 (diff)
Split brain: Push correct view to dgit repos server
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-xdgit4
1 files changed, 3 insertions, 1 deletions
diff --git a/dgit b/dgit
index 5d1a95c..c105aea 100755
--- a/dgit
+++ b/dgit
@@ -2650,11 +2650,13 @@ END
create_remote_git_repo();
}
- my @pushrefs = $forceflag."HEAD:".rrref();
+ my @pushrefs = $forceflag.$dgithead.":".rrref();
foreach my $tw (@tagwants) {
my $view = $tw->{View};
next unless $view eq 'dgit'
or any { $_ eq $view } access_cfg_tagformats();
+ # ^ $view is "dgit" or "maint" so this looks for "maint"
+ # in archive supported tagformats.
push @pushrefs, $forceflag."refs/tags/$tw->{Tag}";
}