summaryrefslogtreecommitdiff
path: root/infra
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-03-17 21:54:08 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-03-22 15:18:52 +0000
commitd0c5d6629f42b2efa52fb48a5f24407ef18f86b2 (patch)
tree93f1cfeb95cb381a7c4906fa3334c1c1bce768e0 /infra
parent26ce53b790d76b41fe893d279e9ceb37bb81a3fe (diff)
dgit git tags mention the distro explicitly; dgit-repos-server checks it
Diffstat (limited to 'infra')
-rwxr-xr-xinfra/dgit-repos-server12
1 files changed, 12 insertions, 0 deletions
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 (;;) {