Closed
Description
Right now typeshed
and mypy
have different techniques to hide old comments:
typeshed
: https://github.com/python/typeshed/blob/62e33cbbd53e55334f5da8870f8f4b3ae8679ac2/.github/workflows/mypy_primer_comment.yml#L70-L76mypy
:mypy/.github/workflows/mypy_primer_comment.yml
Lines 45 to 75 in 48dc990
I need to research whether these two are identical.
Maybe we can simplify mypy
's action to be the same as typeshed
's one.
Origin: #12125