Skip to content

Use docker push instead of docker image push

Erxleben, Fredo requested to merge use-docker-push into master

Docker image push is very uncommon and is replaced by docker push in this change.

@christian.hueser.hzdr Please merge before we get to the episode tomorrow.

Merge request reports

Loading