Release Workflow

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