1. Manual QA
  2. Bump version.py and .jenkins.yaml (remove version tag from master)
  3. Merge to master
  4. Update .jenkins.yaml with new version for master, merge to master again
  5. Tag git release?
  6. Release on github?
  7. Create tag on readthedocs
  8. Bump dev branch to next version


Tags that are saved on docker.sunet.se:

v[0-9]+\.[0-9]+\.[0-9]+$|stable$|previous-stable$|staging$|previous-staging$