dgit: push_mktags: Provide $format

No functional change.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/dgit b/dgit
index c208e4ea3779551f9dd5e3f870c4ad02b33caf69..6d9a8045412d349dad14a383efeed4012f1a6a9c 100755 (executable)
--- 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