Re:Gitlab 11.8 Released
by chappi42 on Friday February 22, 2019 @06:37PM
(#19230223)
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.
[ Parent
| on HN ]
Re:Gitlab 11.8 Released
by chinhodado on Saturday February 23, 2019 @08:29AM
(#19233245)
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.