Earlier quoted context omitted.
Afaik Linus tried Github in the past, but had several significant complaints about it hiding information, messing with basic git operations, generating bad commit messages, etc. . So it is not as if they wouldn't use something better, there just isn't anything that has feature parity with a workflow they have been optimizing for decades.
> [..] a workflow they have been optimizing for decades. it sounds the opposite of optimized to me. Unless we're optimizing for something other than developer experience and efficiency?
It's almost like there are more important goals wrt software development.