diff --git a/tools/push.sh b/tools/push.sh index 8a5297445..f0c7d9d21 100755 --- a/tools/push.sh +++ b/tools/push.sh @@ -130,8 +130,8 @@ then echo "Pushing..." echo - git push && echo -e "\n\e[0;32m Pushed successfully\e[0m\n" || echo -e "\n\e[1;33m Push failed\e[0m" && exit 1 - git push origin refs/notes/* || echo -e "\n\e[1;33m Notes push failed\e[0m" && exit 1 + git push && echo -e "\n\e[0;32m Pushed successfully\e[0m\n" || echo -e "\n\e[1;33m Push failed\e[0m" + git push origin refs/notes/* || echo -e "\n\e[1;33m Notes push failed\e[0m" exit 0 else echo -e "\e[1;33m $GIT_STATUS_NOT_CLEAN_MSG. $GIT_STATUS_CONSIDER_CLEAN_MSG.\e[0m\n"