Skip to content

notify superdb-website only when a pull request is merged - #7636

Merged
philrz merged 1 commit into
mainfrom
notify-docs-merged-only
Nov 10, 2026
Merged

philrz merged 1 commit into
mainfrom
notify-docs-merged-only

Conversation

@philrz

@philrz philrz commented Nov 10, 2026

Copy link
Copy Markdown
Contributor

Our Actions workflow for triggering an update to the docs website has been running whenever any super PR was closed, not just merged ones. This deployed docs and playground changes from unmerged PRs to the live site, plus it burned some Netlify credits on unnecessary production deploys. The conditional added here makes sure we'll now only update the docs site on merged PRs.

The patch was drafted with Claude Code. I reviewed it and confirmed two deploys from recent closed, unmerged PRs (#7606, #7544) that would have been avoided by this change.

Closing a pull request without merging it deployed a build of that
pull request's test merge commit to superdb.org.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@philrz philrz self-assigned this Nov 10, 2026
@philrz
philrz requested a review from a team November 10, 2026 01:02
@philrz
philrz merged commit a178ff5 into main Nov 10, 2026
2 checks passed
@philrz
philrz deleted the notify-docs-merged-only branch November 10, 2026 17:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants