[qb45]

> 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.

Does he even bother reading them nowadays?

If anything, I would say that if git were less popular, its developers wouldn't have to deal with constant complaints that their UI scares noobs.