Infra: dgit-repos-server; In NOFFCHECK but not FRESHREPO case, do not request wrong...

diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index 5a87b891b4bc14e2e9b281fce3e476ec1ac23504..b43d5745bfe2d472e6422543083a169027ea9ada 100755 (executable)
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -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";