git-filter.py: Document that we cannot normalize here

diff --git a/.github/scripts/git-filter.py b/.github/scripts/git-filter.py
index 14033eb38edaaec0e940131e32f4c5c76819235e..d776cc550222a1d25917c5701f4eef1783632512 100755 (executable)
--- a/.github/scripts/git-filter.py
+++ b/.github/scripts/git-filter.py
@@ -16,6 +16,10 @@ import unidiff
 
 def main():
     """Start the script."""
+    # It might be tempting to normalize the paths here instead of
+    # rewriting the compilation database, but then clang-tidy
+    # loses the depth of files in the repository, outputing for
+    # example "credentials.cc" instead of "pdns/credentials.cc"
     compdb = helpers.load_compdb("compile_commands.json")
     compdb = helpers.index_compdb(compdb)