Push all docker images at VERSION to dockerhub

Created by: Tirokk

Authored by roschaefer Sep 12, 2019 Merged Sep 13, 2019

---

Inspired by the tagging of e.g. node on dockerhub: https://hub.docker.com/_/node/?tab=description

I would like to push the current version of all our images to dockerhub. This is a first step to push to production later on.

If sb. increments the VERSION file, this is considered a release.

Pullrequest

Issues

• None

Todo

• None