Manually run "Create release PR" with the desired version number from the develop branch. This updates the version in gradle.properties and CHANGELOG.md
Review the release PR and then merge it.
When merged, publish to Maven and create a GitHub release.
develop
branch. This updates the version ingradle.properties
andCHANGELOG.md
Inspired by the workflow from Web UI.