GitHub CEO Departs, Microsoft Moves It Under Core AI