From 6444cbf5ef9c4acde41a536d8267b3465ae875d5 Mon Sep 17 00:00:00 2001
From: Luigi Barbato <work@luigibarbato.digital>
Date: Wed, 27 Sep 2023 23:03:15 +0200
Subject: [PATCH] chore: delete git tag in case of release error

---
 scripts/release.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/release.sh b/scripts/release.sh
index 9118ac3..22a0026 100755
--- a/scripts/release.sh
+++ b/scripts/release.sh
@@ -24,6 +24,7 @@ if [ "$release_id" != "null" ]; then
 else
   echo "Error creating the release on GitHub."
   echo "$response"
+  git push --delete origin "$calver"
   exit 1
 fi