Release process

Update the version in build.gradle
- Push this to main (optionally with a PR)
Create a new release on github: direct link
- Choose a tag v.... (the new version)
- Select "Create new tag"
- Press "Generate release notes"
- Publish release