File 0367-gh-Fix-gh-cache-when-.gitignore-file-is-deleted.patch of Package erlang

From dabc7b341eb3599d7a53c5941b76a30affb316cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lukas=20Backstr=C3=B6m?= <lukas@erlang.org>
Date: Fri, 21 Mar 2025 12:38:48 +0100
Subject: [PATCH 3/3] gh: Fix gh cache when .gitignore file is deleted

---
 .github/scripts/restore-from-prebuilt.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/scripts/restore-from-prebuilt.sh b/.github/scripts/restore-from-prebuilt.sh
index aafe5d0f1b..f588b93b52 100755
--- a/.github/scripts/restore-from-prebuilt.sh
+++ b/.github/scripts/restore-from-prebuilt.sh
@@ -99,6 +99,8 @@ for delete in $DELETED; do
         rm -r "${CACHE_DIR}/${delete}"
     elif [ -f "${CACHE_DIR}/${delete}" ]; then
         rm "${CACHE_DIR}/${delete}"
+    elif [ "$(basename ${delete})" = ".gitignore" ]; then
+        echo "Should not delete .gitignore files"
     else
         echo "Could not find $delete to delete"
         exit 1
-- 
2.43.0