Fix #20958: Support .git/info/exclude for --exclude-gitignore

[RogerJinIS]

Summary

Fixes #20958.
--exclude-gitignore now respects patterns in .git/info/exclude, not just .gitignore files. Previously, mypy ignored .git/info/exclude entirely, causing files matched by those patterns to still be checked.

Changes

File: mypy/modulefinder.py — find_gitignores()
File: test-data/unit/cmdline.test

Added handling for .git/info/exclude inside the git root detection branch. When find_gitignores identifies a directory as a git root (i.e. it contains a .git folder), it now also checks for .git/info/exclude. If the file exists, it is parsed with PathSpec.from_lines("gitignore", ...) and included in the returned list of gitignore specs, alongside any .gitignore found in the same directory. Parse errors are printed to stderr and the file is skipped, matching the existing behavior for malformed .gitignore files.

Testing

Added testCmdlineExcludeGitignoreWithGitInfoExclude to test-data/unit/cmdline.test to verify that patterns in .git/info/exclude are respected when using --exclude-gitignore.
To run the new test:

Install dependencies:
bashpip install -r test-requirements.txt
pip install -e .

Run the test:

bashpytest -n0 -k testCmdlineExcludeGitignoreWithGitInfoExclude
Or with full node ID:
bashpytest -n0 mypy/test/testcmdline.py::PythonCmdlineSuite::cmdline.test::testCmdlineExcludeGitignoreWithGitInfoExclude

Photo evidence of tests passing locally:

Specific test for this issue:

All cmdline.test passing:

[github-actions]

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅