From fd2784fe5b7166c945d3c0e84ba5fa1d60130b78 Mon Sep 17 00:00:00 2001 From: "claude[bot]" <209825114+claude[bot]@users.noreply.github.com> Date: Sat, 12 Sep 2026 21:01:26 -0700 Subject: [PATCH] Remove temporary state-delete step from deploy workflow (#186) 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 --- .github/workflows/deploy.yml | 3 --- 1 file changed, 3 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 2234331..e93fe79 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