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.