From 5af80c229c83d1716876f767fed56fa0352dbaab Mon Sep 17 00:00:00 2001
From: Ismo Vuorinen <ismo.vuorinen@superhelio.com>
Date: Thu, 4 Aug 2016 17:03:36 +0300
Subject: [PATCH] Ask should we push to origin, with tags

---
 release.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/release.sh b/release.sh
index dc104b4..ac70797 100755
--- a/release.sh
+++ b/release.sh
@@ -141,4 +141,11 @@ git merge --no-ff $BRANCH_RELEASE
 # Remove release branch
 git branch -d $BRANCH_RELEASE
 
+echo -ne "${QUESTION_FLAG} ${CYAN}Push to origin?"
+
+read PUSH
+if [[ $PUSH =~ [yY](es)* ]] || [ "$PUSH" = "" ]; then
+    git push origin --tags
+fi
+
 echo -e "${NOTICE_FLAG} Done!"