diff options
Diffstat (limited to 'tools/lint_project.py')
| -rw-r--r-- | tools/lint_project.py | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/tools/lint_project.py b/tools/lint_project.py index 04d525f..c1c225a 100644 --- a/tools/lint_project.py +++ b/tools/lint_project.py @@ -42,7 +42,17 @@ AUTHOR = "cirakg & claude ai" HEADER_LINES = 15 DIAG_FILE = Path("source/util/Diag.mc") # Folders that hold local tool state or generated output, never project files. -SKIP_DIRS = {".git", ".cache", ".claude", "build", "node_modules", "__pycache__", ".pytest_cache", ".mypy_cache", ".ruff_cache"} +SKIP_DIRS = { + ".git", + ".cache", + ".claude", + "build", + "node_modules", + "__pycache__", + ".pytest_cache", + ".mypy_cache", + ".ruff_cache", +} # Written by a tool that would drop a hand-added header on the next run. GENERATED = {Path("docker/docs/package-lock.json")} |