From 63a42f7c126b5ea604063856f216c2b1c8c102fa Mon Sep 17 00:00:00 2001 From: David Soria Parra Date: Wed, 5 Aug 2026 22:52:12 +0000 Subject: [PATCH] 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 --- src/config/users.ts | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/config/users.ts b/src/config/users.ts index 5fb1e22..1f90c59 100644 --- a/src/config/users.ts +++ b/src/config/users.ts @@ -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: [], },