6 ms·
The problem is again, Github Originally, "pull request" was exactly what name implied, someone asked you to pull from their repository. The original Git collab
by ilyt 4y ago
The problem is again, Github
Originally, "pull request" was exactly what name implied, someone asked you to pull from their repository. The original Git collaboration model was that, you pulling changes from other repos and integrating them in your own, vs handing merge request.
Github co-opted the term to mean exact opposite, accepting essentially push from different repo.