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.