GitHub will be folded into Microsoft proper as CEO steps down
(arstechnica.com)
1.
2.
3.
GitHub is no longer independent at Microsoft after CEO resignation
(news.ycombinator.com)
4.
GitHub CEO to step down
(techcrunch.com)
5.