modelcontextprotocol/access
Watch
1
0
Fork
You've already forked access
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove temporary state-delete step from deploy workflow (#186)

Browse source 
e9e9f1b added a one-off 'pulumi state delete' to the Deploy to Production
step to drop the stale RepositoryCollaborators resource for the renamed
experimental-ext-skills repo, with a note to remove it after one green deploy.

Deploys have been green since run #257 (2026-09-10), so the URN no longer
exists in state and the command is a no-op guarded by '|| true'. Remove it so
the deploy step runs 'make up' as before.


Claude-Session: https://claude.ai/code/session_01H4JKj5FVkmj6bRzgh1GPrY

Co-authored-by: Claude <noreply@anthropic.com>
This commit is contained in:
claude[bot] 2026-09-12 21:01:26 -07:00 • committed by GitHub
commit fd2784fe5b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
.github/workflows/deploy.yml vendored
View file

@ -70,9 +70,6 @@ jobs:
echo "$PULUMI_PASSPHRASE" > passphrase.prod.txt echo "$PULUMI_PASSPHRASE" > passphrase.prod.txt
export PULUMI_CONFIG_PASSPHRASE_FILE=passphrase.prod.txt export PULUMI_CONFIG_PASSPHRASE_FILE=passphrase.prod.txt
pulumi login gs://mcp-access-prod-pulumi-state 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:guildId "$DISCORD_GUILD_ID" --stack prod
pulumi config set discord:botToken "$DISCORD_BOT_TOKEN" --secret --stack prod pulumi config set discord:botToken "$DISCORD_BOT_TOKEN" --secret --stack prod
pulumi config set githubBillingEmail "$ORG_BILLING_EMAIL" --secret --stack prod pulumi config set githubBillingEmail "$ORG_BILLING_EMAIL" --secret --stack prod