From d0c5d6629f42b2efa52fb48a5f24407ef18f86b2 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 17 Mar 2015 21:54:08 +0000
Subject: dgit git tags mention the distro explicitly; dgit-repos-server checks
 it

---
 dgit                    |  1 +
 infra/dgit-repos-server | 12 ++++++++++++
 2 files changed, 13 insertions(+)

diff --git a/dgit b/dgit
index bd8507c..d2ca495 100755
--- a/dgit
+++ b/dgit
@@ -1572,6 +1572,7 @@ tag $tag
 tagger $authline
 
 $package release $cversion for $clogsuite ($csuite) [dgit]
+[dgit distro=$distro]
 END
     close TO or die $!;
 
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index a2916d6..7c447d2 100755
--- a/infra/dgit-repos-server
+++ b/infra/dgit-repos-server
@@ -331,6 +331,18 @@ sub parsetag () {
     for (;;) {
 	print PT or die $!;
 	$!=0; $_=<T>; defined or die "missing signature? $!";
+	if (m/^\[dgit ([^"].*)\]$/) { # [dgit "something"] is for future
+	    $_ = $1." ";
+	    for (;;) {
+		if (s/^distro\=(\S+) //) {
+		    die "$1 != $distro" unless $1 eq $distro;
+		} elsif (s/^[-+.=0-9a-z]+ //) {
+		} else {
+		    die "unknown dgit info in tag";
+		}
+	    }
+	    next;
+	}
 	last if m/^-----BEGIN PGP/;
     }
     for (;;) {
-- 
cgit v1.2.3