Skip to content

docs: rename mypy guide to typing#836

Merged
henryiii merged 1 commit into
mainfrom
rename-mypy-to-typing
Jul 24, 2026
Merged

docs: rename mypy guide to typing#836
henryiii merged 1 commit into
mainfrom
rename-mypy-to-typing

Conversation

@henryiii

@henryiii henryiii commented Jul 24, 2026

Copy link
Copy Markdown
Collaborator

Noted in #829. Part of #788.

🤖 AI text below 🤖

Renames the mypy guide page to typing and generalizes the wording from "mypy" to "type checker".

MyST has no built-in redirect config, so a meta-refresh stub is written into the Read the Docs build output to keep the old /guides/mypy/ URL working. Internal links and the toc are updated to the new path.


📚 Documentation preview 📚: https://scientific-python-cookie--836.org.readthedocs.build/

Rename the guide page from `mypy` to `typing` and generalize its text
from "mypy" to "type checker". A meta-refresh stub keeps the old
`/guides/mypy/` URL working on Read the Docs.

Assisted-by: ClaudeCode:claude-opus-4.8
@henryiii
henryiii force-pushed the rename-mypy-to-typing branch from 8b681ee to 607e73d Compare July 24, 2026 13:58
@henryiii
henryiii merged commit d71269e into main Jul 24, 2026
7 checks passed
@henryiii
henryiii deleted the rename-mypy-to-typing branch July 24, 2026 14:06
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.

1 participant