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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information