At this point I think &quot;pull request&quot; is part of the developer&#x27;s terminology but &quot;merge request&quot; is just as likely to be clearly understood.<p>BTW, sytse, what&#x27;s the best address to contact you about gitlab? There&#x27;s something I&#x27;d like your thoughts on.