There's a single-digit number of people who can update the local keyring. Which works right now, given that the number of people who push to the repos concerne

There's a single-digit number of people who can update the local keyring. Which works right now, given that the number of people who push to the repos concerned is in the double-digit range. Our PGP keys don't really change that often.