A pull request is a proposal on a hosting service like GitHub to merge changes from one branch into another.