GitHub CEO Thomas Dohmke突然宣布辞职，并透露GitHub将不再独立运营，而是整体并入微软新成立的CoreAI工程集团。并且，微软也不会再为GitHub寻找新的CEO。简而言之：GitHub，从此不再是一家「独立运营」的公司了。