From 5dd6b5fbfb0e5dc138fc8d83ba2546c428bfbe61 Mon Sep 17 00:00:00 2001 From: David Soria Parra Date: Thu, 25 Jun 2026 18:44:04 +0100 Subject: [PATCH] ci: temp state delete for renamed experimental-ext-tasks repo The repo was renamed to ext-tasks in #125, but Pulumi state still holds the old RepositoryCollaborators resource. The first 'pulumi up' (which runs before refresh) tries to delete it and 404s, blocking all deploys. Drop it from state explicitly before 'make up'. Idempotent via '|| true'; remove this line after one successful deploy. --- .github/workflows/deploy.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index e93fe79..fcedcb4 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-tasks -> ext-tasks, #125). + # 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-tasks' --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