diff --git a/tools/cat-source-repo.py b/tools/check-source-repo.py
similarity index 100%
rename from tools/cat-source-repo.py
rename to tools/check-source-repo.py