GitHub repository: pr-annotators/mypy-pr-annotator
Description: Annotate pull requests with mypy errors detected during CI