On Saturday, 11 May 2013 at 06:07:39 UTC, skeptical wrote:
What is a "pull request"? Thank you.
A pull request is like a patch that is sent for review before being applied to the source code tree.
It is specific to git. "git pull" is a command that retrieves and applies that patch, so is like a "request to apply a patch".
