Skip to content

Improve release automation#38

Merged
nueces merged 2 commits into
mainfrom
feature/post-release-dev-bump
Jul 11, 2026
Merged

Improve release automation#38
nueces merged 2 commits into
mainfrom
feature/post-release-dev-bump

Conversation

@nueces

@nueces nueces commented Jul 11, 2026

Copy link
Copy Markdown
Owner

Summary

  • Move website PR creation from Start release to Publish release
  • Open the website PR only after the release tag/GitHub release exists
  • Update release bumps to include the README install tag
  • Keep dev bumps from changing the README
  • Add guardrails for expected diff size:
    • release PR: 4 insertions / 4 deletions
    • dev-bump PR: 3 insertions / 3 deletions
  • Validate README release PR changes only touch the install command tag

Why

The website PR CI was failing before the release tag existed. Creating that PR after publish avoids the expected failure/re-run loop.

The README install command should also stay current without adding a moving stable branch or requiring manual edits.

@nueces
nueces merged commit 70f2ef3 into main Jul 11, 2026
2 checks passed
@nueces
nueces deleted the feature/post-release-dev-bump branch July 11, 2026 00:56
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.

1 participant