<!-- 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: @grazzolini - PGP key ID: `159F3A43AEB246C5746C033814BC4F30B3B92EBA` - Resignation: do we have an official resignation? ## 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