GitHub CEO Departs, Microsoft Puts It Under Core AI