From ec0b6fc307e0f5499d4840981fcb9cb8e9ef25a5 Mon Sep 17 00:00:00 2001 From: Peter Alexander Date: Fri, 16 Oct 2026 13:33:46 +0100 Subject: [PATCH] Add Poita as a second GitHub account for pja-ant Both accounts belong to the same person and get the same roles. The Discord ID and Google Workspace fields move to the Poita entry because those resources are keyed per person, so only one entry can carry them. This is a no-op for Discord and Google; the only new resources are Poita's GitHub team memberships. --- src/config/users.ts | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/src/config/users.ts b/src/config/users.ts index eddef16..8a9186f 100644 --- a/src/config/users.ts +++ b/src/config/users.ts @@ -796,7 +796,22 @@ export const MEMBERS: readonly Member[] = [ memberOf: [ROLE_IDS.SECURITY_IG], }, { + // Same person as 'Poita' below; Discord and Google Workspace identity live + // on that entry (both are keyed per person, so only one entry can carry them) github: 'pja-ant', + memberOf: [ + ROLE_IDS.CORE_MAINTAINERS, + ROLE_IDS.MAINTAINERS, + ROLE_IDS.SKILLS_OVER_MCP_WG, + ROLE_IDS.SKILLS_OVER_MCP_WG_LEADS, + ROLE_IDS.TRANSPORT_WG, + ROLE_IDS.TRIGGERS_EVENTS_WG, + ROLE_IDS.TRIGGERS_EVENTS_WG_LEADS, + ROLE_IDS.AGENTS_WG, + ], + }, + { + github: 'Poita', discord: '328628782497923072', firstName: 'Peter', lastName: 'Alexander',