Dictionary

pull request en · NOUN

Meanings

1. A request to a repository maintainer to pull in and merge a proposed source code or other change.

Forms

Synonyms

merge request · PR

Translations (5)

fi vetopyyntö ((computing) source code change request) · cmn 合并請求 ((computing) source code change request) · fr demande de fusion ((computing) source code change request) · ru запрос на принятие ((computing) source code change request) · de Pull-Anforderung ((computing) source code change request)

pull request en · VERB

Meanings

1. (intransitive, transitive) 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, Springer, →ISBN, page 114:
   • GitHub Data Analysis and Its Recommender Systems In this subsection the authors present some related research works ... have studied different user behaviors on GitHub like forking, watching, commenting on issues, pull-requesting and[…] 2018 February 2, Mehdi Khosrow-Pour, Optimizing Contemporary Application and Processes in Open Source Software, IGI Global, →ISBN, page 89:
   • 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, Springer, →ISBN, page 247:

Forms

Relateds

code review