[jtravs]

The master branch no longer exists, locally or on GitHub, so CI no longer lists it as a push trigger and the developer guide no longer mentions it. CI behaves the same for pull requests and pushes to main.

No changelog fragment, because this doesn't affect users.

Verification

• git diff --check and codespell over .github and docs/developer_guide: clean.
• ci.yml parses, and uv run poe docs builds with -W.
• I didn't run the full gate locally, as no Python changed. This PR's CI runs it.

🤖 Generated with Claude Code

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota. Try requesting a review at a lower effort level.

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-11-04T11:45:37.652289Z	9c6095c	PR opened
🔒 Security Review	✅ Completed 2026-11-04T11:46:29.880181Z	9c6095c	PR opened

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

[read-the-docs-community]

Documentation build overview

📚 croak | 🛠️ Build #35640223 | 📁 Comparing 9c6095c against latest (8434e83)

  🔍 Preview build  

1 file changed

± developer_guide/environment.html

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!