undefined | Better HN

0 pointsmzi1mo ago0 comments

À pull request is just you requesting someone to pull from you in git proper.

So the maintainer adds you as a remote and pulls from you.

0 comments

k33n1mo ago

There’s really nothing resembling a “pull request” that’s used by 99.999% of git users. We have merge requests. But we call them pull requests for some dumb reason.

j / k navigate · click thread line to collapse

0 comments

k33n1mo ago

There’s really nothing resembling a “pull request” that’s used by 99.999% of git users. We have merge requests. But we call them pull requests for some dumb reason.

j / k navigate · click thread line to collapse