Unblock deploys: follow ext-skills repo rename and fix #168 fallout
Deploys have failed since #178 because experimental-ext-skills was renamed to ext-skills on GitHub and the stale RepositoryCollaborators state 404s on update. Point config at the new name and drop the old resource from state before 'make up' (same approach as #126; remove after one green deploy). #168 also referenced SKILLS_OVER_MCP_IG, which #170 had renamed to SKILLS_OVER_MCP_WG, and left tobi-oye out of sort order, breaking tsc and 'npm run check'.
This commit is contained in:
parent
cd586d4efa
commit
e9e9f1b691
1 changed files with 9 additions and 7 deletions
3
.github/workflows/deploy.yml
vendored
3
.github/workflows/deploy.yml
vendored
|
|
@ -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-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
|
||||
|
|
|
|||
Loading…
Reference in a new issue