Life is too short for tedious, manual release processes.
Here, we will use Maven's [Release plugin][maven-release] to execute releases.
Instead of triggering the release process manually, we will use a
[GitHub Actions][gh-actions] workflow on the master branch. All development
work is done on the dev branch (or feature branches) and a release is done
when (and only when) the dev branch is merged with the master branch.