diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 18:30:40 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 18:32:57 +0100 |
| commit | 550a4d5ca9ea2dc83403d6aae926cd151a7fa2aa (patch) | |
| tree | 4cdfe1a7ce71c06119b19134750256523eed1729 | |
| parent | 436142c37d5a7925d6452651275382e935533e82 (diff) | |
Infra: dgit-repos-server; In NOFFCHECK but not FRESHREPO case, do not request wrong ref name
| -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"; |