From cd8e216085a98334b6d167b958127ffa8756062a Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 5 Jul 2019 14:05:41 +0100
Subject: [PATCH] dgit: push_mktags: Provide $format

No functional change.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 dgit | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dgit b/dgit
index c208e4ea..6d9a8045 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
-- 
2.30.2