mypy
mypy copied to clipboard
python
"mypy Gitter" is dead; it is called "python/typing"
According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}