mypy
"mypy Gitter" is dead; it is called "python/typing"
#15610
Merged

"mypy Gitter" is dead; it is called "python/typing" #15610

hauntsaninja merged 1 commit into python:master from chore/update-gh-template/questions
stdedos
stdedos "mypy Gitter" is dead; it is called "python/typing"
75954936
github-actions
ichard26
ichard26 approved these changes on 2023-07-06
hauntsaninja hauntsaninja merged cf863877 into master 3 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone