/release - Tag and Publish Release

Purpose

Merge PR, tag release, and create GitHub release with changelog notes.

Prerequisites

• •PR exists and all CI checks pass
• •You're ready to release (this is not reversible)

Process

1. •

   Verify PR status

   code

   gh pr status
   gh pr checks
   

   Stop if checks are failing.

2. •

   Merge PR

   code

   gh pr merge --squash --delete-branch
   

3. •

   Pull main and verify version

   code

   git checkout main
   git pull
   

   Confirm version in pyproject.toml matches intended release.

4. •

   Create and push tag

   code

   git tag vX.Y.Z
   git push origin vX.Y.Z
   

5. •

   Create GitHub release

   code

   gh release create vX.Y.Z --title "vX.Y.Z" --notes-file <changelog-section>
   

   Extract the relevant section from CHANGELOG.md for release notes. Mark as prerelease if appropriate (--prerelease).

Notes

• •CI typically handles PyPI publishing on tag push
• •If release fails, delete the tag before retrying:
  code

  git tag -d vX.Y.Z
  git push origin :refs/tags/vX.Y.Z