Remove main key of pierre

Remove a main key

Details

• Username: @pierre
• PGP key ID: 0E8B644079F599DFC1DDC3973348882F6AC6A4C2
• Resignation: https://lists.archlinux.org/archives/list/arch-dev@lists.archlinux.org/thread/G4UMJUVZBZ5IRPK3F2GVXIBGZGJ5BBAP/ and https://lists.archlinux.org/archives/list/staff@lists.archlinux.org/message/P3PMRM6CLTPK7XROSLGU67CQDCQCIOQV/ as well as #18 (closed) and #163

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