tools: Added Github cache purge script

2026-07-11 01:34:03 +02:00 · 2025-09-13 01:19:19 +01:00
parent a65114eabf
commit a607e3dd22
1 changed files with 6 additions and 0 deletions
@@ -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