[pacman-dev] [PATCH] rankmirrors: Add a --repo option to target a specific repo