chiark / gitweb /
dgit git tags mention the distro explicitly; dgit-repos-server checks it
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 17 Mar 2015 21:54:08 +0000 (21:54 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 22 Mar 2015 15:18:52 +0000 (15:18 +0000)
dgit
infra/dgit-repos-server

diff --git a/dgit b/dgit
index bd8507c..d2ca495 100755 (executable)
--- 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 $!;
 
index a2916d6..7c447d2 100755 (executable)
@@ -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 (;;) {