3 6 Ke·2025-08-12 09:06Core Perspective - GitHub is undergoing significant changes as its CEO Thomas Dohmke announces his departure, marking a shift from its previously promised independent operation under Microsoft [1][2][7] Leadership Changes - Thomas Dohmke, the second CEO of GitHub, is leaving to return to entrepreneurship, similar to the first CEO Nat Friedman, who also left to pursue startup opportunities [3][6][7] - Dohmke will remain until the end of 2025 to assist in the transition as GitHub integrates into Microsoft's CoreAI team, losing its independent leadership structure [1][7][12] GitHub's Current Status - GitHub currently hosts over 1 billion code repositories and branches, with more than 150 million developers, experiencing significant growth in open-source projects and contributions [9] - The platform has seen a doubling of AI project numbers in the past year, indicating a strong market presence and innovation [9] Technological Advancements - GitHub has improved its accessibility and usability, achieving FedRAMP certification and enhancing security features, which have reduced average vulnerability fix times by 60% [9][10] - GitHub Copilot has evolved into a leading AI-powered coding assistant, with over 20 million users, and has established partnerships with major AI companies [10][14] Organizational Changes - The CoreAI department, established in January 2023, will oversee GitHub's integration, focusing on AI-driven product development and enhancing the feedback loop between AI platforms and products [13][14] - This restructuring aligns with Microsoft's broader strategy to prioritize AI technologies across its services [13][14] Community Reactions - There are mixed reactions from the developer community regarding GitHub's future under Microsoft's tighter integration, with some expressing optimism based on past improvements, while others voice concerns about potential declines in platform openness and performance [16][22]