scripts/tag_release.sh: Push only tag, not branch (#24055)

Signed-off-by: Arve Knudsen <arve.knudsen@gmail.com>
This commit is contained in:
Arve Knudsen 2020-04-30 17:24:21 +02:00 committed by GitHub
parent 7b7c365018
commit 22840241ed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -34,7 +34,7 @@ echo "press [y] to push the tags"
read -n 1 confirm read -n 1 confirm
if [ "${confirm}" == "y" ]; then if [ "${confirm}" == "y" ]; then
git push origin "${_branch}" --tags git push origin "${_tag}"
else else
git tag -d "${_tag}" git tag -d "${_tag}"
echo "Abort! " echo "Abort! "