1. Manual QA
2. Merge to master
3. Tag git release?
4. Release on github?
5. Tag docker
6. Create tag on readthedocs
7. Bump dev branch to next version, change .jenkins.yaml builds

Tags that are saved on docker.sunet.se:

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