3 ms·
This is the one that allwaays was impossible for me to wrap my head around. Surely it is a push or merge request not a pull request.
by bjornasm 3y ago
This is the one that allwaays was impossible for me to wrap my head around. Surely it is a push or merge request not a pull request.
- PH95VuimJjqBqy 3y agoIt's a request for the other person to pull, it's only a push if the requestor is doing the action (and they're not).
- ajross 3y agoSo... technically no. It really is a "pull" request from Github's perspective. A PR is (1) a bunch of review/comment/history/hook tracking in the web/cloud backends and (2) a single git branch name somewhere else on github, writable by the author, which contains the changes. The underlying action of merging a "pull request" is to pull from the submitted branch to the target branch. It's no different than Linus doing it from a maintainer branch.