<!-- This template is used when an existing main PGP public key needs to be removed from the distribution's keyring. It is used by users with a valid main key. --> <!-- Please do not remove the above quick actions, which automatically label the issue and assign relevant users. --> # Remove a main key ## Details - Username: @allan - PGP key ID: `AB19265E5D7D20687D303246BA1DFB64FFF979E7` - Resignation: https://lists.archlinux.org/pipermail/arch-dev-public/2021-June/030449.html ## Checks ### Main key holders - [x] There are more than or equal to three valid main keys remaining after removal of this key. - [ ] All packagers have at least three valid main key signatures for their packager key after removal of this key. ### Keyring maintainer - [x] The key has been revoked by either the revocation certificate holder or the main key holder.