Guidance for AI coding agents (e.g. Claude Code) working in this repository. For the human-facing docs, see CONTRIBUTING.md and HACKING.md.
- After pushing changes that address a reviewer's feedback on a pull request, re-request a review from that reviewer — use GitHub's "Re-request review" control (the circular-arrow button next to the reviewer in the "Reviewers" sidebar) or the equivalent API. GitHub does not re-request automatically after a reviewer has left comments or requested changes, so without this the reviewer has to notice the update on their own and the PR can stall.