Contributing to this repository

Releasing a new version

On the main branch, do git pull
Create a new chore branch and bump the maven project version--push the changes
Open a PR from the newly created branch
Merge the PR once it is ready
On the main branch, do git pull again
Create a new tag: git tag release/xxx.yyy.zzz, where xxx is the major version, yyy is the minor version, and zzz is the patch version. See semantic versioning for more info.
Push the new tag git push --tags