Review a pull request
Open-source maintainer and external contributor: Review a pull request. Starts when: Pull request opened. Steps: Open request; Read diff; Comment; Approve or request changes. Done when: The request shows the review decision with a receipt. Rules that apply: GitHub governance.