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)
commitca99f9273683e8e763e6113d34d755a6afe551d9
treef44915e373304d5e27bf3a12c5c4bf1f738b6717
parentf50450ae5e1ee0b122570dd17f7839f46ecbee92
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>
infra/dgit-repos-server