GitHub folds into Microsoft following CEO resignation — once independent programming site now part of 'CoreAI' team

GitHub, one of the most used code repositories in the world, is being folded into Microsoft following the departure of longtime CEO Thomas Dohmke. GitHub was acquired by Microsoft in 2018 but remained largely independent until today.