Pull request (PR)
A mechanism provided by hosted Git platforms (GitHub, GitLab, Bitbucket) to formally propose merging one branch into another. A PR includes the code diff, a description, a conversation thread for review comments, CI status checks, and approval gating before the merge is permitted.
Defined in 2 GAGE programs, which carry 3 distinct definitions of it. The wording above is taught in Foundations of Robotics and Physical AI.
How each discipline defines it
The same term does different work depending on who is using it. These are the definitions as each program teaches them, unedited.
A mechanism provided by hosted Git platforms (GitHub, GitLab, Bitbucket) to formally propose merging one branch into another. A PR includes the code diff, a description, a conversation thread for review comments, CI status checks, and approval gating before the merge is permitted.
A formal proposal to merge a specific set of code changes into a project's codebase, typically reviewed by one or more maintainers before being accepted (merged) or declined.
A GitHub feature that proposes merging one branch into another. Pull requests enable code review, automated CI testing, and documented approval before a change reaches the main branch.
Where it is taught
The exact lessons this term appears in. The first module of every program is free with a free account.
- Version control with Git and GitHub · The Linux and Developer Environment, Foundations of Robotics and Physical AI
- Git branching, pull requests, and code review on a team · Software Engineering and Team Workflow, Foundations of Robotics and Physical AI
- Contributing to an open-source robotics project · Learning How to Learn, Engineering Judgment and Professional Formation
Terms it appears with
Not an alphabetical neighbourhood: these are the terms taught in the same lessons, ranked by how often they appear together.