Set 'latest' tag on every push to Docker Hub

Set a tag latest on every push to Docker Hub. This way, latest always points to the most recent version of the Git master branch. Not that the tag latest used to point to the latest release! So this changes behavior!

A new tag stable has been introduced, which is a substitute for the old latest tag. It can be set by manually running the job deploy_docker_tag_stable, and should point to the latest release.

Closes RAP-524

requested review from @kliffen

assigned to @loose

Remark: For every stable release we should then not forget to replace all DockerHints in the CWL files with the stable-tag.

There is already a deploy_release pipeline job that does exactly that, but it doesn't use stable but the name of the tag, which is a good thing IMHO. I'm not 100% sure if we also want to have the floating stable label that needs to be set manually. As long as there's no clear software release policy in place, I find it hard to judge.

Ah okay. I was not aware of that. We should have released more often in the past.

approved this merge request

merged