5 ms·
Torvalds is a better programmer than that. Pull requests are feature of GitHub, not a part of git. https://docs.github.com/en/pull-requests/collaborating-wit
by brudgers 4y ago
Torvalds is a better programmer than that.
Pull requests are feature of GitHub, not a part of git.
https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-pull-requests https://docs.github.com/en/pull-requests/collaborating-with-...
- nmz 4y agoI'd say its a feature of all(?) dvcs, almost all of them or the ones that I know of must use PRs/forks.
- palunon 4y agoNitpick, but GitHub pull requests (which are really merge requests, you aren't pulling anything) are named after the actual pull requests used eg. between kernel maintainers. ("Please, could you pull from ...") Git has tooling to help with those, so it kinda is a git feature: git request-pull. https://git-scm.com/docs/git-request-pull https://git-scm.com/docs/git-request-pull
- brudgers 4y agoThanks for clarifying. I learned something. I guess it might be more accurate for me to think about pull requests as Github's reification of the social protocol of pulling among kernel developers.