microsoft leadership restructuring

GitHub CEO Thomas Dohmke will step down by year-end, planning to return to entrepreneurship, with no direct replacement; leadership will…