GitHub will be folded into Microsoft proper as CEO steps down
Microsoft bought GitHub for $7.5 billion in 2018. Microsoft has owned GitHub since 2018, but the widely used developer platform has operated with at least a little independence from the rest of the company, with its own separate CEO and other executives. But it looks like GitHub will be…