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

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

Conversation

@adamtheturtle

Copy link
Copy Markdown
Member

Summary

  • configure mypy with exclude_gitignore = true
  • prevent files ignored by Git from being included in mypy discovery

Impact

Mypy will respect the project's .gitignore rules when discovering files. This avoids type-checking generated, local, or otherwise ignored files.

Validation

  • formatted and parsed pyproject.toml with pyproject-fmt
  • verified the branch diff is exactly one added line in pyproject.toml
  • ran Git whitespace validation

@adamtheturtle

Copy link
Copy Markdown
Member Author

Closing this duplicate; #2452 contains the same branch and change.

@adamtheturtle
adamtheturtle deleted the agent/use-exclude-gitignore-for-mypy branch August 12, 2026 07:38

This branch was previously deployed

1 inactive deployment
development — 8ee4f39a Deployed Aug 12, 2026 by adamtheturtle via pages #1245
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant