I can appreciate that, but GitHub was acquired nearly 10 years ago. Let's not sit around pretending that GitHub was some fully autonomous business unit when the

I can appreciate that, but GitHub was acquired nearly 10 years ago. Let's not sit around pretending that GitHub was some fully autonomous business unit when they had a "CEO". Maybe it was _better_, but I would still imagine it was still some form of "in name only". That's the just the nature of acquisitions.