Skip to content

Configure mypy to respect gitignore - #1804

Merged
adamtheturtle merged 1 commit into
mainfrom
agent/use-exclude-gitignore-for-mypy
Aug 12, 2026
Merged

Configure mypy to respect gitignore#1804
adamtheturtle merged 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
adamtheturtle marked this pull request as ready for review August 12, 2026 07:35
@adamtheturtle
adamtheturtle merged commit cd702f3 into main Aug 12, 2026
15 checks passed
@adamtheturtle
adamtheturtle deleted the agent/use-exclude-gitignore-for-mypy branch August 12, 2026 07:38
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