From 118d1248527844417ae1656188110058c442fbd7 Mon Sep 17 00:00:00 2001
From: OpenSauce04 <opensauce04@gmail.com>
Date: Sat, 13 Sep 2025 01:19:19 +0100
Subject: [PATCH] tools: Added Github cache purge script

---
 tools/purge-github-cache.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 tools/purge-github-cache.sh

diff --git a/tools/purge-github-cache.sh b/tools/purge-github-cache.sh
new file mode 100755
index 000000000..01fdb2fed
--- /dev/null
+++ b/tools/purge-github-cache.sh
@@ -0,0 +1,6 @@
+#!/bin/bash -ex
+
+# This script assumes that the Github CLI is installed and that
+# the authenticated user has appropriate authorization.
+
+gh cache delete --all
\ No newline at end of file