I'm inclined to believe that they agree to disagree.

Linus' use case for a pull request would probably be to much for a popularized and casual use case that is likely typical for GitHub.

And anyway it's Linus' prerogative to dictate his requirements for contributing to his project. The description he gives doesn't make it seem overly difficult (use what's already built-in).