pull requests are the mechanism that lets engineers tell others about changes they have pushed to a repository on GitHub.
— The DevOps Handbook, in “18 Create Review and Coordination Processes to Increase Quality of Our Current Work”, Gene Kim, Jez Humble, Patrick Debois, John Willis, and Nicole Forsgren