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

1 participant