Remove main key of grazzolini

Remove a main key

Details

• Username: @grazzolini
• PGP key ID: 159F3A43AEB246C5746C033814BC4F30B3B92EBA
• Resignation: do we have an official resignation?

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