GitHub will be folded into Microsoft proper as CEO steps down

GitHub will be folded into Microsoft proper as CEO steps down

Microsoft bought GitHub for $7.5 billion in 2018.