- Manual QA
- Bump version.py and .jenkins.yaml (remove version tag from master)
- Merge to master
- Update .jenkins.yaml with new version for master, merge to master again
- Tag git release?
- Release on github?
- Tag docker
- Create tag on readthedocs
- Bump dev branch to next version
Tags that are saved on docker.sunet.se:
...