He should only be thanking them for that if git uptake around a mutilated version of his tooling is something that Linus wants. I suspect very strongly that he doesn't want that. In fact, if GitHub were a less popular service he wouldn't need to spend nearly as much time dealing with people who don't RTFM and submit GitHub PRs despite Linus' objections to them.