chore: keep nick@ GWS account for emeritus naldridge

Restore the googleEmailPrefix dropped in the previous commit and mark the
account existingGWSUser so it is kept but no longer Pulumi-managed, matching
how toby's emeritus account is handled. Before deploying, remove the
gws-user-nick resource from Pulumi state (pulumi state delete, not destroy)
or Pulumi will delete the real account.

No-Verification-Needed: declarative access config, only exercisable via prod deploy
This commit is contained in:
David Soria Parra 2026-08-05 22:52:12 +00:00
commit 63a42f7c12
No known key found for this signature in database

View file

@ -7,6 +7,10 @@ export const MEMBERS: readonly Member[] = [
discord: '1360717264051241071',
firstName: 'Nick',
lastName: 'Aldridge',
googleEmailPrefix: 'nick',
// Account predates emeritus status and is kept; must be removed from
// Pulumi state (not destroyed) before this flag change is deployed
existingGWSUser: true,
// Emeritus core maintainer
memberOf: [],
},