chiark / gitweb /
Infra: dgit-repos-server; In NOFFCHECK but not FRESHREPO case, do not request wrong...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 May 2015 17:30:40 +0000 (18:30 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 May 2015 17:32:57 +0000 (18:32 +0100)
infra/dgit-repos-server

index 5a87b89..b43d574 100755 (executable)
@@ -729,7 +729,7 @@ sub checktagnoreplay () {
        }
     } else {
        my $branch= server_branch($suite);
-       my $branchhead= git_get_ref($branch);
+       my $branchhead= git_get_ref(server_ref($suite));
        if (!length $branchhead) {
            # No such branch - NOFFCHECK was unnecessary.  Oh well.
            printdebug "checktagnoreplay - not FRESHREPO, new branch, ok\n";