Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This PR updates .gitignore, pruning some unnecessary bits and pieces and making some existing entries stricter. For the .mypy_cache removal, note that a .mypy_cache directory already has its own .gitignore file, so there's no need to mention it in the repo-level .gitignore. Similarly, the htmlcov directory created by coverage html already includes its own .gitignore.
- Loading branch information