Skip to content

Conversation

ilevkivskyi
Copy link
Member

Fixes #15431

After this PR one will be able to easily find documentation for given error code using https://mypy.readthedocs.io/en/stable/_refs.html#code-{code as reported by mypy}, for example https://mypy.readthedocs.io/en/stable/_refs.html#code-attr-defined.

@ilevkivskyi
Copy link
Member Author

Actually I am going to just merge this, since this is the docs-only thing. I want to quickly test it "in prod" and then fix anything if needed (I tried and everything works well locally).

@ilevkivskyi ilevkivskyi merged commit db97bbc into python:master Jun 14, 2023
@ilevkivskyi ilevkivskyi deleted the direct-docs-links branch June 14, 2023 13:35
hauntsaninja pushed a commit that referenced this pull request Jun 24, 2023
Fixes #15431

After this PR one will be able to easily find documentation for given
error code using
`https://mypy.readthedocs.io/en/stable/_refs.html#code-{code as reported
by mypy}`, for example
`https://mypy.readthedocs.io/en/stable/_refs.html#code-attr-defined`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Improve error code linkability
1 participant