Releasing checklist:
(1) Write a changelog.
(2) Checkout the main branch. This is the only releasable branch.
(3) Create a tag for the release.
git tag v0.8.0(4) Push the tag to the main repository, triggering the CI and release process.
git push origin v0.8.0(5) Finally, go to the repo's releases page and create a new one with the new tag and the main branch as target.