Skip to content

Conversation

@bozhodimitrov
Copy link
Contributor

Some of the files (like mypy.ini and lazy.py) are duplicated despite being unchanged for easier setup if someone clones the repo and wants to just run mypy against the particular revision instead of copying files around between the revision folders.

@asottile asottile merged commit 0453167 into anthonywritescode:main Jan 9, 2026
1 check passed
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.

2 participants