GitHub CEO Thomas Dohmke will leave at year's end to start a new company, as Microsoft integrates the platform into its Core AI division and reshuffles leadership to align with AI goals.