Open
Description
Background
Current release docker images contain the hash name, only. It would be simpler for clients if they can find the images for a specific version on Dockerhub.
Acceptance Criteria
Add a new command "push-release" which accepts the release name as option. This command should take source and target docker repository, and rename the images to contain the given release name.