Fix docker push command

Merged Aleksey Shirokih requested to merge docker_better_build into master

Merge request reports