GitHub 在微软不再独立，首席执行官托马斯·多姆克辞职。 GitHub 现在正转向微软的人工智能工程团队 CoreAI，并对 GitHub 的领导团队进行新的结构调整。