From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 6 Jul 2019 17:23:24 +0000 (+0100)
Subject: dgit-repos-server: tag2upload: Improve a message
X-Git-Tag: archive/debian/9.1~39
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=commitdiff_plain;h=ca99f9273683e8e763e6113d34d755a6afe551d9;hp=f50450ae5e1ee0b122570dd17f7839f46ecbee92

dgit-repos-server: tag2upload: Improve a message

Could be multiple distro=, in which case any matching is OK.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server
index 811db69d..82b2c438 100755
--- 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;