Re: [pacman-dev] [PATCH] Add per-repo PinnedPubKey option