How to make a release

Releasing a new version of TextGridTools on GitHub and PyPI is very easy:

1. Update the version number in the file setup.py.
2. Commit your changes and push them to GitHub.
3. Either
   1. Add a tag of the version number, e.g., git tag 1.0.2 -a -m "Version 1.0.2" and then push the new tag to GitHub git push --tags.
   2. Use GitHub's "Draft a new release" feature to make a new release.
4. Write a release note on GitHub.
5. Upload the source distribution of the new release to PyPI by executing python3 -m twine dist/*.

That’s it.