Avec la démission de son patron, GitHub s’enfonce davantage dans la CoreAI de Microsoft
Y’a plus de (co) pilote dans l’avion
Le 13 août 2025 à 14h58
L’actuel CEO de GitHub quittera ses fonctions dans quelques mois et ne sera pas remplacé. La direction de la plateforme rendra donc directement des comptes à CoreAI de Microsoft, qui augmente son emprise sur GitHub, qu’elle avait rachetée il y a sept ans.
Avec la démission de son patron, GitHub s’enfonce davantage dans la CoreAI de Microsoft
Y’a plus de (co) pilote dans l’avion
L’actuel CEO de GitHub quittera ses fonctions dans quelques mois et ne sera pas remplacé. La direction de la plateforme rendra donc directement des comptes à CoreAI de Microsoft, qui augmente son emprise sur GitHub, qu’elle avait rachetée il y a sept ans.
Le 13 août 2025 à 14h58
Logiciel
Logiciel
4 min
C’est via un message sur GitHub que Thomas Dohmke annonce son intention de quitter l’entreprise pour redevenir « fondateur », sans plus de précision sur les projets qu’il compte lancer. « Je resterai jusqu’à la fin de l’année 2025 pour aider à guider la transition et je pars avec un profond sentiment de fierté pour tout ce que nous avons construit », ajoute-t-il.
Nat Friedman puis Thomas Dohmke… et finalement plus de CEO
Thomas Dohmke était auparavant directeur des produits (et encore avant vice-président en charge des programmes stratégiques), sous la direction de Nat Friedman. Ils étaient tous les deux arrivés chez GitHub après le rachat par Microsoft pour 7,5 milliards de dollars en juin 2018.
Thomas Dohmke connaissait déjà bien Microsoft puisqu’il avait passé près de quatre ans dans la société de Redmond, suite au rachat de sa précédente entreprise HockeyApp, comme il l’explique sur LinkedIn (elle-même rachetée en 2016 par Microsoft pour 26,2 milliards de dollars).
Le rachat avait fait couler beaucoup d’encre à l’époque. Certains étaient vent debout contre l’acquisition de la plus grosse base de code open source par le géant américain, tandis que d’autres rappelaient que GitHub avait toujours été une société privée, et que le code principal de la plateforme n’était pas ouvert.
Lors de sa prise de fonction en 2018, Nat Friedman jouait la carte de l’apaisement, et affirmait que GitHub « fonctionnera de manière indépendante, en tant que communauté, plateforme et entreprise ».
GitHub dépend davantage de la CoreAI
Cette indépendance sera certainement moins marquée avec le départ du CEO puisqu’il ne sera pas remplacé : « GitHub et son équipe de direction poursuivront leur mission », toujours en lien avec l’organisation CoreAI de Microsoft, explique celui qui est sur le départ.
« Le changement d’aujourd’hui signifie que GitHub n’a plus de leader unique, ou CEO », résume The Verge. En conséquence, l’équipe de direction de CoreAI (et donc Microsoft) prendra davantage de poids dans les décisions concernant GitHub.
CoreAI a été présenté en janvier de cette année par Satya Nadella, sous le nom complet CoreAI – Platform and Tools. Cette nouvelle division regroupe Dev Div, AI Platform et certaines équipes provenant du bureau du CTO (AI Supercomputer, AI Agentic Runtimes et Engineering Thrive). But de l’entité dirigée par Jay Parikh (ancien de Meta, chez qui il a passé 11 ans) : développer une pile « Copilot & AI » pour les besoins internes et les clients.
Des agents partout, quelle place pour les humains ?
Ce changement important dans la gouvernance de GitHub intervient à une époque charnière pour les développeurs et l’intelligence artificielle. Les géants du Net, Microsoft et Google en tête, poussent le no-code et les agents d’IA avec le vibe coding. Ces derniers peuvent effectuer des tâches à votre place de manière autonome ; Microsoft veut d’ailleurs en mettre sur tous les sites.
GitHub a présenté au début de l’année un mode agent, capable de « déduire » et mettre en place des tâches qui n’ont pas été précisées par des développeurs humains. GitHub expliquait alors que son projet baptisé Padawan devrait permettre d’avoir à terme un agent totalement autonome.
Thomas Dohmke milite pour que le code soit enseigné dans les écoles et que chacun apprenne à coder le plus tôt possible. Dans un billet de blog publié en janvier 2025, il expliquait que l’IA n’éliminerait pas les développeurs, mais leur donnerait au contraire « les moyens de relever de nouveaux défis plus complexes ».
« Nous verrons un avenir où le code sera co-écrit par des humains et des agents d’IA. L’humain fixe l’objectif global, détermine les contraintes, garantit les considérations éthiques et divise le travail en petits morceaux », que l’IA se charge de traiter. Pour Thomas Dohmke, « le développeur, en substance, devient le chef d’orchestre d’une partition jouée par l’IA ».
Générer du code par l’IA (ou des agents) « ne produira pas automatiquement des solutions parfaites. La surveillance, l’expertise et l’intuition humaines sont toujours vitales ». Ce n’est pas tout à fait en phase avec certains discours de Microsoft, Google et autres qui veulent faire de l’IA des champions du code.
Avec la démission de son patron, GitHub s’enfonce davantage dans la CoreAI de Microsoft
-
Nat Friedman puis Thomas Dohmke… et finalement plus de CEO
-
GitHub dépend davantage de la CoreAI
-
Des agents partout, quelle place pour les humains ?
Commentaires (14)
Abonnez-vous pour prendre part au débat
Déjà abonné ou lecteur ? Se connecter
Cet article est en accès libre, mais il est le produit d'une rédaction qui ne travaille que pour ses lecteurs, sur un média sans pub et sans tracker. Soutenez le journalisme tech de qualité en vous abonnant.
Accédez en illimité aux articles d'un média expert
Profitez d'au moins 1 To de stockage pour vos sauvegardes
Intégrez la communauté et prenez part aux débats
Partagez des articles premium à vos contacts
Abonnez-vousLe 13/08/2025 à 15h21
Le 13/08/2025 à 15h40
Le 15/08/2025 à 13h20
Le 13/08/2025 à 16h14
Le 13/08/2025 à 18h45
Le 14/08/2025 à 14h53
Le 13/08/2025 à 16h45
C'est purement du marketing. Et tous ceux qui n'ont rien à vendre mais utilisent de l'IA au quotidien le savent.
Le 13/08/2025 à 18h52
... mais si maintenant c'est microsoft qui gère les évolutions de la plateforme en direct, je sens que ça va être un cirque phénoménale... on va voir combien de volkswagens on peut mettre dans un clown...
Le 13/08/2025 à 20h45
Le 13/08/2025 à 23h32
Migrer vers codeberg, qui n'a pas de telles resources, c'est bien mais il faut considérer faire un don.
Le 14/08/2025 à 22h58
https://lobste.rs/s/5qq2k2/why_is_github_ui_getting_so_much_slower
A titre pro j'avais un client qui avait besoin d'une fonction sur sa CI dont le ticket est ouvert depuis des années avec des centaines de demandeurs alors que ça pourrait probablement être réglé en quelques jours si les priorité était sur les besoins client et pas la recherche de la nouvelle façon de lui vendre de l'IA.
Le 15/08/2025 à 01h29
En attendant, je maintiens mon propos, étant sur la formule gratuite et profitant à fond de leur CI, et dans mon expérience ne voyant pas de régression, non seulement je ne vois pas pourquoi partir mais en plus je pense leur coûter de l'argent, chose que je préfère infliger à github qu'à codeberg.
Le 15/08/2025 à 09h19
Pour la CI c'est vrai que ça reste encore très généreux en offre gratuite. (avec d'autre outils comme les registres package et containers) Une bonne affaire si on a pas de machine dispos pour servir de "runner" même ça a jamais été ma préféré et qu'on sent bien qu'elle a été construite en surcouche de celle d'Azure DevOps
Le 14/08/2025 à 09h50
Donc il sont en train de vouloir que l'IA fasse de choses qu'on a pas demandé ?! Genre mettre des backdoors, des vulnérabilités ou toucher au système carrément ?
Est-ce qu'ils ont perdus la raison ?
Signaler un commentaire
Voulez-vous vraiment signaler ce commentaire ?