Jelle Zijlstra

We already check for `# static analysis: ignore`. This issue is about adding support for `# type: ignore`, which would work the same way.

I would clone the repo, look for the places that implement `# static analysis: ignore` (use grep), then extend the logic there to also cover `# type: ignore`.

Definitely!