diff --git a/manage.sh b/manage.sh
index ce48505dc0..1801cbbef1 100755
--- a/manage.sh
+++ b/manage.sh
@@ -18,7 +18,7 @@ function build-devenv {
     popd;
 }
 
-function publish-devenv {
+function push-devenv {
     docker push $DEVENV_IMGNAME:latest
 }
 
@@ -226,9 +226,8 @@ case $1 in
         build-devenv ${@:2}
         ;;
 
-
-    publish-devenv)
-        publish-devenv ${@:2}
+    push-devenv)
+        push-devenv ${@:2}
         ;;
 
     start-devenv)