roschaefer 7f2cd575cb Push all docker images at VERSION to dockerhub ...

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.

2019-09-12 23:41:58 +02:00

..

patches

Update the COMMIT env var on every deployment

2019-08-20 11:28:41 +02:00

deploy.sh

Update the COMMIT env var on every deployment

2019-08-20 11:28:41 +02:00

docker_push.sh

Push all docker images at VERSION to dockerhub

2019-09-12 23:41:58 +02:00

setup_kubernetes.sh

Fix kubeconfig filename

2019-04-05 00:25:59 +02:00