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>

diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index ba71700b98ed24cd001410904a7f5d0764744fbc..09a0d3c03afe06acfc96d77a0bb3e551f4e06ed8 100755 (executable)
--- 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;