Closed Neudrino closed 2 years ago
Hi, @Neudrino! We merged your PR to reviewdog! 🐶 Thank you for your contribution! ✨
We just invited you to join the @reviewdog organization on GitHub. Accept the invite by visiting https://github.com/orgs/reviewdog/invitation. By joining the team, you'll be a part of reviewdog community and can help the maintenance of reviewdog.
Thanks again!
Summary
mypy.ok
file was taken from a copy ofmypy.out
.