Also the hoops they jump through to avoid “pull request” even though the term is native to Git.
Like did calling it a “merge request” trick everyone into believing they weren’t a GitHub clone in the early days?
Like did calling it a “merge request” trick everyone into believing they weren’t a GitHub clone in the early days?
"pull request" is a more recognizable term, but "merge request" is more technically accurate for what GitHub and GitLab do.
And is it really jumping through hoops to just name it something different? I usually think of that phrase as implying something more arduous.
To that point, GitHub still does not use git-request-pull or even pulls to implement PRs, so the name is still not correct there. GitLab's naming is more accurate.
"Merge request" is a much better name for what GitHub actually does.
Imagine mathematicians having ten different names for "a curve", half of them considered offensive because why not.
You’d be surprised to learn that mathematics has at least three different names for a function.