Jun Guo 31526595c5 docker_image: docs: won't be pushed to private registry without push parameter. (#19691)		2016-12-27 08:15:12 +01:00
..
ansible	docker_image: docs: won't be pushed to private registry without push parameter. (#19691)	2016-12-27 08:15:12 +01:00