From 738c136e26f1586afb4d1349ff3b3c26687f0e00 Mon Sep 17 00:00:00 2001
From: Norman Maurer <norman_maurer@apple.com>
Date: Wed, 19 May 2021 11:43:06 +0200
Subject: [PATCH] Delete tag if already exist locally

---
 scripts/finish_release.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/finish_release.sh b/scripts/finish_release.sh
index 254cfee19b2..f436f3e1383 100755
--- a/scripts/finish_release.sh
+++ b/scripts/finish_release.sh
@@ -16,8 +16,8 @@ fi
 BRANCH=$(git branch --show-current)
 
 if git tag | grep -q "$2" ; then
-    echo "Tag $2 already exists"
-    exit 1
+    echo "Tag $2 already existed locally, deleting it"
+    git tag -d "$2"
 fi
 
 git fetch