Improve 'git release'

andyone · Dec 5, 2023 · 24fda82 · 24fda82
1 parent 16cd4dc
commit 24fda82
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/.zshrc b/.zshrc
@@ -198,6 +198,10 @@ function git_release() {
   fi
 
   if [[ $(\git rev-parse --abbrev-ref HEAD 2>/dev/null) != "master" ]] ; then
+    if ! \git push ; then
+      return 1
+    fi
+
     if ! \git checkout master ; then
       return 1
     fi

diff --git a/install.sh b/install.sh
@@ -7,7 +7,7 @@ set -e
 
 ################################################################################
 
-VERSION="2.3.8"
+VERSION="2.3.9"
 
 ################################################################################