From b7e5c27b9667d66cf1299e4ea7fbd2e7d995bf8e Mon Sep 17 00:00:00 2001
From: BtbN <btbn@btbn.de>
Date: Fri, 6 Oct 2023 17:03:31 +0200
Subject: [PATCH] Don't double-delete tags

---
 util/prunetags.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/util/prunetags.sh b/util/prunetags.sh
index 8586a00..7e1bded 100755
--- a/util/prunetags.sh
+++ b/util/prunetags.sh
@@ -33,7 +33,6 @@ done
 for TAG in ${TAGS[@]}; do
     echo "Deleting ${TAG}"
     gh release delete --cleanup-tag --yes "${TAG}"
-    git tag -d "${TAG}"
 done
 
 git push --tags --prune