GitHub CEO Departs, Microsoft Puts It Under CoreAI