From c4f0833dac48c3ca15b2d50e1bafac63e58340aa Mon Sep 17 00:00:00 2001 From: Qi Luo Date: Thu, 1 Dec 2016 10:41:29 -0800 Subject: [PATCH] push_docker.sh: Remove deprecated comments (#90) --- push_docker.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/push_docker.sh b/push_docker.sh index 154a64739b83..156502ddfb7e 100755 --- a/push_docker.sh +++ b/push_docker.sh @@ -23,7 +23,6 @@ build_remote_image_name=$REGISTRY_SERVER:$REGISTRY_PORT/$docker_image_name:$buil ## Add registry information as tag, so will push as latest ## Add additional tag with build information -## Temporarily add -f option to prevent error message of Docker engine version < 1.10.0 docker tag $docker_image_name $remote_image_name docker tag $docker_image_name $build_remote_image_name