Releasing

Create a local release branch from main: git checkout -b vX.Y.Z
Change the version in config/version.properties to a non-SNAPSHOT version.
Update the CHANGELOG.md for the impending release.
Update the README.md with the new version.
git commit -am "Prepare for release X.Y.Z." (where X.Y.Z is the new version)
git push origin, open pull-request
Merge pull-request
git checkout main && git pull origin
git tag -a X.Y.Z -m "Version X.Y.Z" && git push --tags (where X.Y.Z is the new version)
Trigger publish workflow for the new tag in GitHub Actions
Update the config/version.properties to the next SNAPSHOT version.
git commit -am "Prepare next development version."
git push origin

Provide feedback