diff options
-rwxr-xr-x | infra/dgit-repos-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index 5a87b89..b43d574 100755 --- 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"; |