debinstall #9938 no repository name check (or unvalid) [resolved]

check if a repository really exists and print an adequate message

prioritynormal
typebug
done in2.3.0
load1.000
load left0.000
closed by#e87f916ab822 Closes #9938: no repository name check (or unvalid)