The Ars Technica report from August captured the change. GitHub will be folded into Microsoft’s CoreAI division. The GitHub CEO is leaving. Microsoft is not replacing the role. The company said GitHub ...