From 356937bd5cf567d4f7b165af182aff3aa9709b1b Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 10 Nov 2026 13:08:15 +0000 Subject: [PATCH] Add Discord release managers role and grant it to LucaButBoring Add a new Discord-only release-managers role (Discord role "release managers (synced)", no GitHub team, Google group or repo access), following the administrators/community-managers precedent, and add LucaButBoring to it. Claude-Session: https://claude.ai/code/session_016HDqNbkQWScsHuVkVzju9L --- src/config/roleIds.ts | 1 + src/config/roles.ts | 6 ++++++ src/config/users.ts | 1 + 3 files changed, 8 insertions(+) diff --git a/src/config/roleIds.ts b/src/config/roleIds.ts index d8fd6f6c..f329744a 100644 --- a/src/config/roleIds.ts +++ b/src/config/roleIds.ts @@ -15,6 +15,7 @@ export const ROLE_IDS = { SECURITY_TEAM: 'security-team', // GitHub only (MCP Security Team; Cloudflare Access to securityroom.modelcontextprotocol.io) ADMINISTRATORS: 'administrators', // Discord only COMMUNITY_MANAGERS: 'community-managers', // Discord only + RELEASE_MANAGERS: 'release-managers', // Discord only // =================== // Maintainer Groups diff --git a/src/config/roles.ts b/src/config/roles.ts index 2b11addd..1d5f7e69 100644 --- a/src/config/roles.ts +++ b/src/config/roles.ts @@ -86,6 +86,12 @@ export const ROLES: readonly Role[] = [ discord: { role: 'community managers (synced)' }, // Discord only - no GitHub equivalent }, + { + id: ROLE_IDS.RELEASE_MANAGERS, + description: 'Release managers', + discord: { role: 'release managers (synced)' }, + // Discord only - no GitHub equivalent + }, { id: ROLE_IDS.LEAD_MAINTAINERS, description: 'Lead core maintainers', diff --git a/src/config/users.ts b/src/config/users.ts index a3b170a2..bc7a0357 100644 --- a/src/config/users.ts +++ b/src/config/users.ts @@ -657,6 +657,7 @@ export const MEMBERS: readonly Member[] = [ ROLE_IDS.TASKS_EVENTS_WG_LEADS, ROLE_IDS.AGENTS_IG, ROLE_IDS.WORKING_GROUPS, + ROLE_IDS.RELEASE_MANAGERS, ], }, {