<!-- 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 or the holder of the revocation certificate of the main key that is about to be removed. NOTE: All comment sections with a MODIFY note need to be edited. All checkboxes in the "Check" section labeled as "Main key holders" need to be checked for the accompanying merge request to be merged. --> <!-- Please do not remove the above quick actions, which automatically label the issue and assign relevant users. --> # Remove a main key ## Details - Username: @diabonas - PGP key ID: 75BD80E4D834509F6E740257B1B73B02CC52A02A - Resignation: https://lists.archlinux.org/archives/list/staff@lists.archlinux.org/thread/ZYOMQFG3UXQWSQYPP3TRQIOAGLORA6Z7/ ## Checks ### Main key holders - [x] There are more than or equal to three valid main keys remaining after removal of this key. - [x] All packagers have at least three valid main key signatures for their packager key after removal of this key. - [x] A merge request to [remove the main public key](https://gitlab.archlinux.org/archlinux/archlinux-keyring/-/wikis/workflows/remove-a-main-key) has been created