On Saturday, 11 May 2013 at 06:07:39 UTC, skeptical wrote: > > > What is a "pull request"? Thank you. https://help.github.com/articles/using-pull-requests