You can form your own opinions as to why Linus is angry with them. I dislike Github pull requests because the Github interface does not allow any option for me

You can form your own opinions as to why Linus is angry with them. I dislike Github pull requests because the Github interface does not allow any option for merge other than the branch name from which the requester created the request. I.e., the receiver can not merge the pull request onto a different, more appropriate branch, from the one the requester used. Plain git can do so. The only workaround for this broken interface on Github is to extract the pull request, manually perform a command line merge locally, and push the changes back up (now in the correct branch). Thankfully, if done right, Github does recognize and clear the pull request. But that is a lot more hassle than should be necessary.