Funny thing, when I joined the team at GitLab over a year ago I was really annoyed by this since I'd been using PR for the better part of a decade. Now I'm so used to saying MR that PR sounds very strange. All in all, "merge request" is a more accurate term and no one ever gets confused about it like https://stackoverflow.com/questions/21657430/why-is-a-git-pu... I think it would be great if other tools just called it an MR as that seems to be the term that is easier to understand.

After joining you got brainwashed of course ;-)) It's a minor detail but it's still irritating for me that it doesn't have the same name as in Github. More accurate or not, but Github was first.

MR is much easier to explain to people who are not familiar with git than PR. Everyone who has used at least one version control system knows what merge is, whereas pull is a much less clear term.