Developer Instructions

Python Environment & Development Tools

See the contributing guide for instructions on setting up your development environment
and tools for formatting and type checking.

Release Process

1. Ensure clean git status.

2. Set the version for release, e.g.

   python scripts/bump_version.py --patch
   python scripts/bump_version.py --minor
   

   This also creates the git tag.

3. Push to GitHub:

   git push
   git push --tags
   

   Important: This must push a single tag only!
   Pushing the single tag triggers the create-release workflow for the tag, which creates a
   draft release on GitHub.

4. Review the draft release on the
   GitHub Releases page.
   When ready, publish it (click Publish release).
   This triggers the publish workflow, which builds and publishes the
   package to PyPI.