Code hosting biz takes a back seat within Microsoft’s CoreAI division

GitHub CEO Thomas Dohmke plans to leave the company and corporate parent Microsoft will not appoint a successor.…