Dev guide

How to release

1. Edit __init__.py to remove the .dev0, e.g., change "0.0.10.dev0" to "0.0.10".
2. Commit with message "bump version for release"
3. Tag the release like git tag -a v0.0.10 -m "Version 0.0.10".
4. push and then push again with --tags: e.g., git push origin master --tags.
5. Login to Github website, click "releases" on the right and "Draft new release".
6. Choose the new tag, then click on the green button at the bottom
7. github "Actions" will run to pypi

After release

1. Edit __init__.py to increase the version and add .dev0, e.g., change "0.0.10" to "0.0.11.dev0".
2. Commit with message "post-release version bump".
3. git push origin master