[pull] main from python:main#855

Merged

pull[bot] merged 4 commits intoTechPenguineer:mainfrom

Sep 21, 2025

Commits on Sep 21, 2025

Link to Discourse in ``.github/CONTRIBUTING.rst`` (#138996)

StanFromIreland
and
AA-Turner
authored
Make sure the ``:keyword:`` role works for ``case`` (#138878)
sobolevn
authored
gh-138092: Correct the documented signature of ``mmap.flush`` (#138671)
aisk
authored
Docs: add missing tools to `Tools/README` (#139150)

authored