diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-05 14:05:41 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-05 14:35:34 +0100 |
commit | cd8e216085a98334b6d167b958127ffa8756062a (patch) | |
tree | 172641ed08ad5381a769fc91fb0a72fa341ca451 /dgit | |
parent | ec238523ed68bcff1b4a4a09cb511f8994649050 (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-x | dgit | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |