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
   

   Pushing the tag triggers the create-release workflow, 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.