Release Process

Make sure state of develop is what is to be released.
git checkout main && git pull origin main
git merge develop
cargo release patch --execute --workspace
git checkout develop
git merge main
git push --tags origin main develop