Push docker images to docker hub
One-sentence description
Push docker images to docker hub
Why?
Two reasons:
- All our other docker images can be found on Docker Hub
- Now we are public, we do not need the authentication of the Gitlab Registry.
Current implementation
We push to the Gitlab registry.