Remove main key of diabonas

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

• 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.
• A merge request to remove the main public key has been created