On Fri, Nov 30, 2012 at 3:56 PM, Robert Muir <rcm...@gmail.com> wrote:
> > Right, I'm positive this (pull requests) is github :) > Just a note - "pull request" has been a git concept before github embraced and extended it. However, almost nobody uses the old meaning, and it's really only useful for projects like the Linux kernel, where everything is done through the mailing list. http://stackoverflow.com/a/6235394/7581
