Skip to content

Add support for .gitignore to scripts/lint.py#2666

Merged
abey79 merged 2 commits intomainfrom antoine/lint-py-gitignoreJul 11, 2023