From ed4a8beb1ea1d4c1036d20b64900d6a7e9cb4ece Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 4 Sep 2016 20:44:57 +0100
Subject: [PATCH] Split brain: Push correct view to dgit repos server

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 dgit | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/dgit b/dgit
index 5d1a95c5..c105aea3 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}";
     }
 
-- 
2.30.2