Skip to content

Configure mypy to respect gitignore - #3141

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

Configure mypy to respect gitignore#3141
adamtheturtle merged 1 commit into
mainfrom
agent/use-exclude-gitignore-for-mypy

Conversation

@adamtheturtle

@adamtheturtle adamtheturtle commented Aug 12, 2026

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

Note

Low Risk
Single tooling config line in pyproject.toml with no runtime, security, or application logic impact.

Overview
Configures mypy with exclude_gitignore = true so type checking skips files ignored by Git (generated, local, or otherwise excluded paths), instead of only excluding build.

Reviewed by Cursor Bugbot for commit a9a03f9. Bugbot is set up for automated code reviews on this repo. Configure here.

@adamtheturtle
adamtheturtle marked this pull request as ready for review August 12, 2026 07:35
@adamtheturtle
adamtheturtle merged commit 82d557e into main Aug 12, 2026
14 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