chiark / gitweb /
dgit-repos-server: tag2upload: Improve a message
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 6 Jul 2019 17:23:24 +0000 (18:23 +0100)
committerIan 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

index 811db69..82b2c43 100755 (executable)
@@ -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;