Hacker News Reader

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-...

Nitpick, 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

Thanks 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.

I'd say its a feature of all(?) dvcs, almost all of them or the ones that I know of must use PRs/forks.

Reply on news.ycombinator.com