Build: fixes missing shebang in release tagging script. (#17894)

This commit is contained in:
Leonard Gram
2019-07-03 16:00:34 +02:00
committed by GitHub
parent 3d848d0fdf
commit 2596974cd2

View File

@@ -1,4 +1,4 @@
#/bin/bash #!/usr/bin/env bash
# abort if we get any error # abort if we get any error
set -e set -e
@@ -33,8 +33,9 @@ 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 "${_branch}" --tags
else else
git tag -d "${_tag}"
echo "Abort! " echo "Abort! "
fi fi