Skip to content

docs: add release & versioning policy (no post-tag pre-bump)#92

Merged
JoaoPucci merged 2 commits into
masterfrom
docs/release-versioning-policy
Jun 28, 2026
Merged

docs: add release & versioning policy (no post-tag pre-bump)#92
JoaoPucci merged 2 commits into
masterfrom
docs/release-versioning-policy

Conversation

@JoaoPucci

Copy link
Copy Markdown
Owner

Adds a Release & versioning section to AGENTS.md so the process is written down somewhere durable (it wasn't).

The policy, going forward from the next release:

  • No post-tag pre-bump — master stays at the last shipped version; the bump happens inside the release PR.
  • Hotfixes branch off master — since master == last shipped, a patch branches straight off it (fix + patch-bump + tag), no release branch, no version gap.
  • Milestones decoupled from the version file — create the next milestone for tracking, assign PRs explicitly.
  • Releases publish as pre-releases.

This codifies the lesson from the v0.9.1 hotfix, where a prior post-tag pre-bump stranded master ahead of the released line and forced a version downgrade-merge. Docs-only; no behavior change.

Document the go-forward release process: master stays at the last
shipped version, the version bump happens inside the release PR, and
hotfixes branch off master. Codifies the lesson from the v0.9.1
Wayland-crash hotfix, where a post-tag pre-bump had stranded master
ahead of the released line and forced an awkward version
downgrade-merge. Takes effect from the next release.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@JoaoPucci JoaoPucci added the documentation Improvements or additions to documentation label Jun 27, 2026
@JoaoPucci JoaoPucci self-assigned this Jun 27, 2026
@JoaoPucci JoaoPucci added the documentation Improvements or additions to documentation label Jun 27, 2026
@JoaoPucci JoaoPucci added this to the 0.10.0 milestone Jun 28, 2026
@JoaoPucci JoaoPucci merged commit 1216425 into master Jun 28, 2026
30 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant