From: Ian Jackson Date: Tue, 17 Mar 2015 21:54:08 +0000 (+0000) Subject: dgit git tags mention the distro explicitly; dgit-repos-server checks it X-Git-Tag: debian/0.30~269 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=commitdiff_plain;h=d0c5d6629f42b2efa52fb48a5f24407ef18f86b2;ds=sidebyside dgit git tags mention the distro explicitly; dgit-repos-server checks it --- diff --git a/dgit b/dgit index bd8507cd..d2ca495a 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 a2916d62..7c447d28 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -331,6 +331,18 @@ sub parsetag () { for (;;) { print PT or die $!; $!=0; $_=; 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 (;;) {