Microsoft is bringing GitHub into its CoreAI group as CEO Thomas Dohmke announces his resignation, marking a major change for the developer platform.