Releasing checklist:
(1) Write a changelog.
(2) Update the version in docs/antora.yml, create a PR, and wait for it to be merged.
(3) Checkout the main branch. This is the only releasable branch.
(4) Create and push a release branch.
git checkout -b release-v0.12.0
git push release-v0.12.0(5) Create a tag for the release.
git tag v0.12.0(6) Push the tag to the main repository, triggering the CI and release process.
git push origin v0.12.0(7) Finally, go to the repo's releases page and create a new one with the new tag and the main branch as target.