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.
Terms it appears with
Not an alphabetical neighbourhood: these are the terms taught in the same lessons, ranked by how often they appear together.