> Correction, August 11th: GitHub was already part of CoreAI, but its leadership...

		6thbit 14 days ago \| parent \| context \| favorite \| on: GitHub is no longer independent at Microsoft after... > 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.