Split brain: Push correct view to dgit repos server

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/dgit b/dgit
index 5d1a95c532a19c0c49f6c9538e227c732cc02b76..c105aea35f15fc40a85ac0d03d4de0bb8c120eb0 100755 (executable)
--- a/dgit
+++ b/dgit
@@ -2650,11 +2650,13 @@ END
        create_remote_git_repo();
     }
 
        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();
     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}";
     }
 
        push @pushrefs, $forceflag."refs/tags/$tw->{Tag}";
     }