From 3c83a6d42c6a3ab7032e6a22288503a2b4a37ab5 Mon Sep 17 00:00:00 2001
From: Gabriel Simmer <gsimmer@protonmail.com>
Date: Tue, 25 Apr 2023 16:38:15 +0100
Subject: [PATCH] Pull in existing github tags to avoid deleting them

---
 .builds/tests.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.builds/tests.yml b/.builds/tests.yml
index 7a197a1..0430610 100644
--- a/.builds/tests.yml
+++ b/.builds/tests.yml
@@ -22,5 +22,7 @@ tasks:
       if [[ $CHANGED_FILES == "source" || $CHANGED_FILES == "all" ]]; then
         git remote add github git@github.com:$GITHUB_REPO.git
         ssh-keyscan github.com >> ~/.ssh/known_hosts
+        # Pull in existing tags
+        git fetch github --tags
         git push --mirror github
       fi