[pacman-dev] [PATCH 1/3] Give sensible feedback when a repo has no configured servers