From a5d4e752205577967b96e1886f9278e7544e31fa Mon Sep 17 00:00:00 2001 From: Claude Date: Tue, 10 Nov 2026 13:18:55 +0000 Subject: [PATCH] Grant Discord release managers role to localden Add Den Delimarsky (localden, which carries his Discord id) to the Discord-only release-managers role added in #242. Claude-Session: https://claude.ai/code/session_016HDqNbkQWScsHuVkVzju9L --- src/config/users.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/config/users.ts b/src/config/users.ts index bc7a0357..bad643a2 100644 --- a/src/config/users.ts +++ b/src/config/users.ts @@ -643,6 +643,7 @@ export const MEMBERS: readonly Member[] = [ ROLE_IDS.TRANSPORT_WG, ROLE_IDS.TYPESCRIPT_SDK, ROLE_IDS.APPEALS, + ROLE_IDS.RELEASE_MANAGERS, ], }, {