Rename util
diff --git a/tools/purge-github-cache.sh b/ci/purge-github-cache
similarity index 100%
rename from tools/purge-github-cache.sh
rename to ci/purge-github-cache