> Correction, August 11th: GitHub was already part of CoreAI, but its leadership will no longer be under a single CEO.

So there is no real org change, just the CEO left and they didn't immediately replace him with a new one.