再见，GitHub｜CEO 宣布辞职，微软将把 GitHub 直接并入新的 CoreAI 团队，不再独立运营