pull request
pull request noun: a request to a repository maintainer to pull in and merge a proposed source code or other change.
Noun
pull request (plural pull requests)
- A request to a repository maintainer to pull in and merge a proposed source code or other change.
- Synonyms:
- merge request, PR
Verb
pull request (third-person singular simple present pull requests, present participle pull requesting, simple past and past participle pull requested)
- To submit a pull request.
- The GitHub Archive records any user activity (forking, pull requesting, commenting) on the social coding site GitHub. We queried the GitHub Archive for users who had specified a company name (non-empty string) in their GitHub profile[…]2014 June 30, Giovanni Cantone, Michele Marchesi, Agile Processes in Software Engineering and Extreme Programming: 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings...
- We denote the estimated interests of a developer given a repository that he or she forked, watched, committed or pull-requested in GitHub as I(r). Similarly, we denote the estimated interests of a developer given a question that he[…]2017 August 31, Giovanni Luca Ciampaglia, Afra Mashhadi, Taha Yasseri, Social Informatics: 9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017, Proceedings, Part II...
Synonyms of pull request
Forms of pull request
| Noun | |
|---|---|
| plural | pull requests |
| Verb | |
| third-person singular present | pull requests |
| present participle | pull requesting |
| past participle | pull requested |
| past | pull requested |
Questions about pull request
- What does pull request mean?
- Pull request means a request to a repository maintainer to pull in and merge a proposed source code or other change.
- What part of speech is pull request?
- Pull request can be a noun or a verb.
- What is the plural of pull request?
- The plural of pull request is pull requests.
Words near pull request in the dictionary
Source and license
Adapted from Wiktionary: pull request (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “pull request.” Word.ws, https://word.ws/pull_request. Based on Wiktionary, CC BY-SA 4.0.
