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 <noreply@anthropic.com>

Author: claude[bot]

.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