From 2596974cd2b3fe348293e7d65c6cf6811f649741 Mon Sep 17 00:00:00 2001
From: Leonard Gram <leo@xlson.com>
Date: Wed, 3 Jul 2019 16:00:34 +0200
Subject: [PATCH] Build: fixes missing shebang in release tagging script.
 (#17894)

---
 scripts/tag_release.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/scripts/tag_release.sh b/scripts/tag_release.sh
index 9d56c4e48ca..fe047266c44 100755
--- a/scripts/tag_release.sh
+++ b/scripts/tag_release.sh
@@ -1,4 +1,4 @@
-#/bin/bash
+#!/usr/bin/env bash
 
 # abort if we get any error
 set -e
@@ -33,8 +33,9 @@ echo "press [y] to push the tags"
 
 read -n 1 confirm
 
-if [ "${confirm}" == "y" ]; then 
+if [ "${confirm}" == "y" ]; then
     git push origin "${_branch}" --tags
-else 
+else
+    git tag -d "${_tag}"
     echo "Abort! "
 fi