diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-17 21:54:08 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-03-22 15:18:52 +0000 |
commit | d0c5d6629f42b2efa52fb48a5f24407ef18f86b2 (patch) | |
tree | 93f1cfeb95cb381a7c4906fa3334c1c1bce768e0 /infra/dgit-repos-server | |
parent | 26ce53b790d76b41fe893d279e9ceb37bb81a3fe (diff) |
dgit git tags mention the distro explicitly; dgit-repos-server checks it
Diffstat (limited to 'infra/dgit-repos-server')
-rwxr-xr-x | infra/dgit-repos-server | 12 |
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 (;;) { |