From 0e3251db2c48a6327f80cd3fe94fdda641a584a7 2020-01-07 15:36:14
From: Matthias Bussonnier <bussonniermatthias@gmail.com>
Date: 2020-01-07 15:36:14
Subject: [PATCH] some updates to release scripts

---

diff --git a/tools/release_helper.sh b/tools/release_helper.sh
index d87c281..7489c16 100644
--- a/tools/release_helper.sh
+++ b/tools/release_helper.sh
@@ -143,6 +143,13 @@ then
    echo $GREEN"Press enter to commit"$NOR
    read
    git commit -am "back to dev"
+
+   echo
+   echo $BLUE"git push origin \$BRANCH ($BRANCH)?"$NOR
+   echo $GREEN"Press enter to continue"$NOR
+   read
+   git push origin $BRANCH
+
    
    echo
    echo $BLUE"let's : git checkout $VERSION"$NOR
@@ -159,8 +166,8 @@ then
 
     tools/release
 
-    echo '$ shasum -a 256 dist/*'
     echo $RED
+    echo '$ shasum -a 256 dist/*'
     shasum -a 256 dist/*
     echo $NOR