pull request
Short definition from Wiktionary
Noun
- A request to a repository maintainer to pull in and merge a proposed source code or other change.
Verb
- To submit a pull request.
We haven’t written up pull request yet: Simple and Standard meanings, examples and a quiz.