chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f50450a
)
dgit-repos-server: tag2upload: Improve a message
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sat, 6 Jul 2019 17:23:24 +0000
(18:23 +0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 7 Jul 2019 10:18:17 +0000
(11:18 +0100)
Could be multiple distro=, in which case any matching is OK.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
infra/dgit-repos-server
patch
|
blob
|
history
diff --git
a/infra/dgit-repos-server
b/infra/dgit-repos-server
index 811db69dd38021c3cb845ec781f6f8e81903cdfd..82b2c438a983968d7586e5cfa2929160c79934fd 100755
(executable)
--- a/
infra/dgit-repos-server
+++ b/
infra/dgit-repos-server
@@
-1224,7
+1224,7
@@
END
$distro_ok ||= $gotdistro eq $distro;
};
- $quit->("
other
distro") unless $distro_ok;
+ $quit->("
not for this
distro") unless $distro_ok;
reject "missing \"$_\"" foreach keys %need;