GitHub CEO Thomas Dohmke has resigned, and GitHub is moving even closer into Microsoft’s CoreAI team.
