diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index e93fe79..2234331 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -70,6 +70,9 @@ jobs: echo "$PULUMI_PASSPHRASE" > passphrase.prod.txt export PULUMI_CONFIG_PASSPHRASE_FILE=passphrase.prod.txt pulumi login gs://mcp-access-prod-pulumi-state + # TEMP: drop stale state for renamed repo (experimental-ext-skills -> ext-skills). + # Delete-on-up 404s because the old repo name is gone. Remove after one successful deploy. + pulumi state delete 'urn:pulumi:prod::mcp-access::github:index/repositoryCollaborators:RepositoryCollaborators::repo-experimental-ext-skills' --stack prod --yes || true pulumi config set discord:guildId "$DISCORD_GUILD_ID" --stack prod pulumi config set discord:botToken "$DISCORD_BOT_TOKEN" --secret --stack prod pulumi config set githubBillingEmail "$ORG_BILLING_EMAIL" --secret --stack prod diff --git a/src/config/repoAccess.ts b/src/config/repoAccess.ts index 3fe85b4..cf9e3bb 100644 --- a/src/config/repoAccess.ts +++ b/src/config/repoAccess.ts @@ -340,7 +340,7 @@ export const REPOSITORY_ACCESS: RepositoryAccess[] = [ ], }, { - repository: 'experimental-ext-skills', + repository: 'ext-skills', teams: [ { team: 'core-maintainers', permission: 'admin' }, { team: 'moderators', permission: 'maintain' }, diff --git a/src/config/users.ts b/src/config/users.ts index 0e5a92c..2ad49a6 100644 --- a/src/config/users.ts +++ b/src/config/users.ts @@ -863,16 +863,15 @@ export const MEMBERS: readonly Member[] = [ github: 'tiginamaria', memberOf: [ROLE_IDS.KOTLIN_SDK], }, - { - - github: 'tobi-oye', - discord: '791307404293177354', - memberOf: [ROLE_IDS.SKILLS_OVER_MCP_IG], - }, { github: 'tnorimat', memberOf: [ROLE_IDS.CONFORMANCE_AUTH], }, + { + github: 'tobi-oye', + discord: '791307404293177354', + memberOf: [ROLE_IDS.SKILLS_OVER_MCP_WG], + }, { github: 'tobinsouth', discord: '865072069779521556',