misc/ci.py: To make local dev easier, ignore files from .gitignore

.github/workflows/linux.yml

@@ -14,7 +14,7 @@ jobs:
     steps:
     - uses: actions/checkout@v4
     - name: Install dependencies
-      run: dnf install -y ninja-build cmake gtest-devel re2c clang
+      run: dnf install -y ninja-build cmake gtest-devel re2c clang python3-GitPython
     - name: Linting
       run: misc/ci.py
     - name: Configure with CMake

misc/ci.py

@@ -1,11 +1,11 @@
 #!/usr/bin/env python3
 
+import git
 import os
 
 ignores = [
 	'.git/',
 	'misc/afl-fuzz-tokens/',
-	'ninja_deps',
 	'src/depfile_parser.cc',
 	'src/lexer.cc',
 ]
@@ -17,10 +17,11 @@ def error(path: str, msg: str) -> None:
 	error_count += 1
 	print('\x1b[1;31m{}\x1b[0;31m{}\x1b[0m'.format(path, msg))
 
+repo = git.Repo('.')
 for root, directory, filenames in os.walk('.'):
 	for filename in filenames:
 		path = os.path.join(root, filename)[2:]
-		if any([path.startswith(x) for x in ignores]):
+		if any([path.startswith(x) for x in ignores]) or repo.ignored(path):
 			continue
 		with open(path, 'rb') as file:
 			line_nr = 1