Developer Notes

Creating a new release

In order to create a new release, follow those steps:

1. Bump to the new Version in the sourcecode and commit.
2. PR on master (wait for CI and merge)
3. Pull the master to your local repo and check it out.
4. Tag the new commit with an annotated tag:
   git tag -a vX.Y.Z
5. upload the files to pypi:
   ./setup.py sdist upload
6. push the tag to github:
   git push --tags
7. Goto Github and click on "draft new release". Use the markdown from the CHANGELOG.md as the description of the release.