TO-DO Discuss with others that main should be the release branch.
git checkout main git merge develop git tag 0.3.0 git push --tags