From d12dc886c63d411722aaac23cd027555066490a8 Mon Sep 17 00:00:00 2001 From: David Soria Parra Date: Thu, 15 Jan 2026 22:22:36 +0000 Subject: [PATCH] Add repo access management for ext-apps, use-mcp, example-remote-client - Add tarekgh to csharp-sdk with push permission - Add ext-apps with mcp-apps-wg, mcp-apps-sdk teams and outside collaborators - Add use-mcp with core-maintainers, moderators and geelen - Add example-remote-client with core-maintainers, moderators and outside collaborators This brings these previously unmanaged repos under centralized access control. --- src/config/repoAccess.ts | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) diff --git a/src/config/repoAccess.ts b/src/config/repoAccess.ts index 3434d95..874b24d 100644 --- a/src/config/repoAccess.ts +++ b/src/config/repoAccess.ts @@ -205,6 +205,7 @@ export const REPOSITORY_ACCESS: RepositoryAccess[] = [ { username: 'jozkee', permission: 'admin' }, { username: 'localden', permission: 'admin' }, { username: 'PederHP', permission: 'triage' }, + { username: 'tarekgh', permission: 'push' }, ], }, { @@ -307,6 +308,44 @@ export const REPOSITORY_ACCESS: RepositoryAccess[] = [ repository: 'ext-auth', teams: [{ team: 'auth-wg', permission: 'admin' }], }, + { + repository: 'ext-apps', + teams: [ + { team: 'core-maintainers', permission: 'push' }, + { team: 'moderators', permission: 'triage' }, + { team: 'mcp-apps-wg', permission: 'admin' }, + { team: 'mcp-apps-sdk', permission: 'admin' }, + ], + users: [ + { username: 'liady', permission: 'admin' }, + { username: 'idosal', permission: 'admin' }, + { username: 'ststrong', permission: 'admin' }, + { username: 'martinalong', permission: 'push' }, + { username: 'antonpk1', permission: 'admin' }, + { username: 'conorkel', permission: 'admin' }, + { username: 'alexi-openai', permission: 'admin' }, + ], + }, + { + repository: 'use-mcp', + teams: [ + { team: 'core-maintainers', permission: 'push' }, + { team: 'moderators', permission: 'triage' }, + ], + users: [{ username: 'geelen', permission: 'admin' }], + }, + { + repository: 'example-remote-client', + teams: [ + { team: 'core-maintainers', permission: 'push' }, + { team: 'moderators', permission: 'triage' }, + ], + users: [ + { username: 'geelen', permission: 'push' }, + { username: 'markyfyi', permission: 'push' }, + { username: 'jerryhong1', permission: 'push' }, + ], + }, ]; // GitHub Projects V2 permissions are NOT managed by Pulumi - no support yet