From 0f37c8ecbd77ea76d6f1b096e9a186291641f7d5 Mon Sep 17 00:00:00 2001
From: Andrey Antukh <niwi@niwi.nz>
Date: Mon, 21 Dec 2020 09:12:43 +0100
Subject: [PATCH] :paperclip: Minor changes on manage.sh script.

---
 manage.sh | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

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)