While on dev branch:
- git merge main
- update version number in .yaml
- git add .
- git commit -m "release version
<version number>" - git push
- git tag -a
<version number>-m "release version<version number>" - git tag -af latest -m "latest=
<version number>" - git push --force origin --tags
- check if github job succeeds (executes integration test on the API)
- git checkout main
- git merge dev
- git push
- git checkout dev (to return to dev branch for future changes)
- create release notes