Ask should we push to origin, with tags

This commit is contained in:
Ismo Vuorinen
2016-08-04 17:03:36 +03:00
parent 497fbd22a7
commit 5af80c229c

View File

@@ -141,4 +141,11 @@ git merge --no-ff $BRANCH_RELEASE
# Remove release branch # Remove release branch
git branch -d $BRANCH_RELEASE 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!" echo -e "${NOTICE_FLAG} Done!"