Document properly how to release a new version. Currently the process is: - Add a new version to CHANGELOG.md (could be done with the tool) - Create a git tag A GitHub release will be automatically created.