[mzi]

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

[k33n]

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.