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