I agree with you completely. Someone high-up needs to care for this to get going.

GitHub's CEO claimed he cared, October 27: https://twitter.com/natfriedman/status/1321221940774723584

The fact that he didn't get a coordinated message or anything at all in the following three weeks shows how much he really did.