Change pushing to do all

This commit is contained in:
Ismo Vuorinen
2016-08-04 17:06:47 +03:00
parent 92412a5006
commit 9408ec3c5d

View File

@@ -141,11 +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?" echo -ne "${QUESTION_FLAG} ${CYAN}Push?"
read PUSH read PUSH
if [[ $PUSH =~ [yY](es)* ]] || [ "$PUSH" = "" ]; then if [[ $PUSH =~ [yY](es)* ]] || [ "$PUSH" = "" ]; then
git push origin --tags git push --tags
fi fi
echo -e "${NOTICE_FLAG} Done!" echo -e "${NOTICE_FLAG} Done!"