[skeledrew]

From a semantics perspective, MR makes more sense as it's a request to merge a branch into another. PR is weird IMO, but I think really just caught on due to GitHub's popularity.