tomevault-io /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
Verify PR status
gh pr status gh pr checksStop if checks are failing.
Merge PR
gh pr merge --squash --delete-branchPull main and verify version
git checkout main git pullConfirm version in pyproject.toml matches intended release.
Create and push tag
git tag vX.Y.Z git push origin vX.Y.ZCreate GitHub release
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:
git tag -d vX.Y.Z git push origin :refs/tags/vX.Y.Z
Converted and distributed by TomeVault — claim your Tome and manage your conversions.