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