diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-17 03:22:50 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-17 03:25:44 +0100 |
commit | 9765d5b8002c33130ada5e85b43b88b993b9cff6 (patch) | |
tree | 34a59603f55364e5e08b4164c7b2424434354488 /infra | |
parent | 024f99fe973837436bfff54c78b8a1fb1c698c61 (diff) |
tag2upload: baredebian: Pass dgit refs/tags/, not the commit hash
This will enable git to report the upstream tag in its messages.
The tag name is safe to pass here since dgit only uses its referent,
unless it is nice enough to print.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra')
-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 ba71700..09a0d3c 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -1285,7 +1285,7 @@ END if ($quilt =~ m/baredebian/) { die "needed upstream commmitish with --quilt=baredebian" unless defined $upstreamc; - push @dgitcmd, "--upstream-commitish=$upstreamc"; + push @dgitcmd, "--upstream-commitish=refs/tags/$upstreamt"; } } push @dgitcmd, qw(push-source --new --overwrite), $suite; |