Skip to content

Configure mypy to respect gitignore - #2453

Closed
adamtheturtle wants to merge 1 commit into
mainfrom
agent/use-exclude-gitignore-for-mypy
Closed

Configure mypy to respect gitignore#2453
adamtheturtle wants to merge 1 commit into
mainfrom
agent/use-exclude-gitignore-for-mypy

Commits

  1. Commits on Aug 12, 2026