From bc4f4d21c4f68dba5b698fcaf5eb473002e2b8b1 Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 13 Sep 2026 03:48:19 +0000 Subject: [PATCH] Remove temporary state-delete step from deploy workflow 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. Co-Authored-By: Claude Fable 5.1 Claude-Session: https://claude.ai/code/session_01H4JKj5FVkmj6bRzgh1GPrY --- .github/workflows/deploy.yml | 3 --- 1 file changed, 3 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 22343317..e93fe790 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -70,9 +70,6 @@ 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