Re: [pacman-dev] [PATCH] Combine repo-add and repo-remove into one script