Pull request
also: pull requests, pr, prs, merge request
A request to merge one branch into another, with a page where the changes can be reviewed and discussed first.
A feature of hosting services like GitHub that proposes merging a branch into a target branch. It shows the diff, the commits, and automated check results, and collects review comments and approvals before the merge. GitLab calls it a merge request.
Submitting a draft to an editor. They see every change you made, leave comments, and decide when it goes into the final edition.
A pull request puts a review step between the agent's work and your live app. You see the diff, tests run automatically, and nothing merges without approval.
Opened PR #42: 'Add recurring bookings.' All checks pass. Please look closely at the changes to the payment code.
Open a pull request for this branch instead of merging it. In the description, list what changed, how you tested it, and anything risky.
Thinking a pull request pulls code down to your computer. It's a request for the project to pull your changes in: a proposal to merge.