---

name: release description: Merge PR, tag release, and create GitHub release with changelog notes

/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

   Copygh pr status
   gh pr checks
   

   Stop if checks are failing.

2. Merge PR

   Copygh pr merge --squash --delete-branch
   

3. Pull main and verify version

   Copygit checkout main
   git pull
   

   Confirm version in pyproject.toml matches intended release.

4. Create and push tag

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

5. Create GitHub release

   Copygh 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:

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