Skip to content

Commit dabc7b3

Browse files
committed
gh: Fix gh cache when .gitignore file is deleted
1 parent 9df41b9 commit dabc7b3

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

.github/scripts/restore-from-prebuilt.sh

+2
Original file line numberDiff line numberDiff line change
@@ -99,6 +99,8 @@ for delete in $DELETED; do
9999
rm -r "${CACHE_DIR}/${delete}"
100100
elif [ -f "${CACHE_DIR}/${delete}" ]; then
101101
rm "${CACHE_DIR}/${delete}"
102+
elif [ "$(basename ${delete})" = ".gitignore" ]; then
103+
echo "Should not delete .gitignore files"
102104
else
103105
echo "Could not find $delete to delete"
104106
exit 1

0 commit comments

Comments
 (0)