3 ms·
It came first, but what GitHub called "pull requests" is very unlike what git does here. Even Torvalds famously ranted about that. "Merge request" is a much be
by seba_dos1 2y ago
It came first, but what GitHub called "pull requests" is very unlike what git does here. Even Torvalds famously ranted about that.
"Merge request" is a much better name for what GitHub actually does.