Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add support for .gitignore to scripts/lint.py (#2666)
### What Maintaining a separate list of ignore directory in `scripts/lint.py` bit me several times already (e.g. `venv38`, `.nox`, etc.). This PR makes it so that `lint.py` now uses `.gitignore` instead. To check correctness, I verified the list of files that is considered before and after the change. Of the 1078 files originally checked, a single one is now missing (`examples/python/dicom_mri/dataset/dicom/README.md`) due to the `**/dataset/` rule in .gitignore. This is actually more correct than before, as this is a foreign file. ### Checklist * [x] I have read and agree to [Contributor Guide](https://github.com/rerun-io/rerun/blob/main/CONTRIBUTING.md) and the [Code of Conduct](https://github.com/rerun-io/rerun/blob/main/CODE_OF_CONDUCT.md) * [x] I've included a screenshot or gif (if applicable) * [x] I have tested [demo.rerun.io](https://demo.rerun.io/pr/2666) (if applicable) - [PR Build Summary](https://build.rerun.io/pr/2666) - [Docs preview](https://rerun.io/preview/pr%3Aantoine%2Flint-py-gitignore/docs) - [Examples preview](https://rerun.io/preview/pr%3Aantoine%2Flint-py-gitignore/examples)
- Loading branch information