pull request

Also written: PR, pull requests

A GitHub page asking for a branch to be merged into `main`. It shows the diff and lets teammates comment and approve.