We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 07ea0f6 commit d1c0616Copy full SHA for d1c0616
mypy/errors.py
@@ -877,7 +877,7 @@ def report_internal_error(err: Exception,
877
878
# Print "INTERNAL ERROR" message.
879
print('{}error: INTERNAL ERROR --'.format(prefix),
880
- 'Please try using mypy master on Github:\n'
+ 'Please try using mypy master on GitHub:\n'
881
'https://mypy.readthedocs.io/en/stable/common_issues.html'
882
'#using-a-development-mypy-build',
883
file=stderr)
0 commit comments