Re: [pacman-dev] [PATCH 2/2] repo-add: add option to specify a different key to sign