summaryrefslogtreecommitdiff
path: root/dgit
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-05 14:05:41 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-05 14:35:34 +0100
commitcd8e216085a98334b6d167b958127ffa8756062a (patch)
tree172641ed08ad5381a769fc91fb0a72fa341ca451 /dgit
parentec238523ed68bcff1b4a4a09cb511f8994649050 (diff)
dgit: push_mktags: Provide $format
No functional change. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
-rwxr-xr-xdgit1
1 files changed, 1 insertions, 0 deletions
diff --git a/dgit b/dgit
index c208e4e..6d9a804 100755
--- a/dgit
+++ b/dgit
@@ -4361,6 +4361,7 @@ sub push_mktags ($$ $$ $) {
my $cversion = getfield $clogp, 'Version';
my $clogsuite = getfield $clogp, 'Distribution';
+ my $format = getfield $dsc, 'Format';
# We make the git tag by hand because (a) that makes it easier
# to control the "tagger" (b) we can do remote signing