Re: [pacman-dev] [PATCH] repo-add: add new command, repo-elephant