diff --git a/scripts/release.sh b/scripts/release.sh index b43f064d630691239d39f38a8e3abc317a21a751..48d5e25895d254827a3c4672b8cec95108288c0c 100755 --- a/scripts/release.sh +++ b/scripts/release.sh @@ -137,7 +137,7 @@ git tag -f -a "v$2" -m "${description}" # Push the tag git push origin "v$2" # Push the master branch -git push origin HEAD:master +git push origin if [[ $? -ne 0 ]]; then exit 1 fi