Nitpick, but GitHub pull requests (which are really merge requests, you aren't p... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		palunon on Aug 22, 2022 \| parent \| context \| favorite \| on: Brian Kernighan adds Unicode support to Awk 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

brudgers on Aug 22, 2022 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact