Connexion Premium

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

Avec la démission de son patron, GitHub s’enfonce davantage dans la CoreAI de Microsoft

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

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.

Commentaires (14)

votre avatar
🤮
votre avatar
C'est le temps de se barrer complètement de cette plateforme.
votre avatar
Déjà fait, direction gitlab... Et au pire de l'auto-hébergé si il jour c'est la m...
votre avatar
J'ai bien fait de passer à Codeberg il y a quelque temps.
votre avatar
j'ai préféré monter ma propre forge basée sur forgejo (donc comme codeberg)
votre avatar
Oui, je me suis installé une instance Forgejo aussi pour mes projets privés. Très facile à builder, très facile à configurer.
votre avatar
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.
Parce que s'ils disaient l'inverse, les investisseurs n'ouvriraient pas autant de capitaux et la ruée serait moins forte.
C'est purement du marketing. Et tous ceux qui n'ont rien à vendre mais utilisent de l'IA au quotidien le savent.
votre avatar
Je vais acheter du popcorn... déjà que quand Microsoft t'envoie ses cons...euh...ultants pour t'aider à migrer vers GitHub, tu te retrouves avec des ploucs qui racontent n'importe quoi, y compris des trucs qui vont à l'encontre des bonnes pratiques décrites dans la doc github, ...

... 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...
votre avatar
C'est bizarre, je ne m'y attendais pas du tout :mad2:
votre avatar
Tant que je ne vois pas de conséquence néfaste concrète, je reste chez github, qui supporte les coûts d'infrastructure de la CI sans broncher. L'avantage d'avoir derrière eux une entreprise aux poches profondes.
Migrer vers codeberg, qui n'a pas de telles resources, c'est bien mais il faut considérer faire un don.
votre avatar
Les conséquence sont déjà visibles, ca fait un certain temps que github est sur la pente descendante et apparemment peu de chance que ça s'améliore
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.
github.com GitHub
votre avatar
Mais ça, ce sont les conséquences de quoi? Du rachat par microsoft? Ou d'être une entreprise qui tente de surfer sur la hype, comme tant d'autres? Rappelons que github copilot précède le rachat par Microsoft. Que gitlab suis la même tendance, et possède aussi son lot de problèmes d'ux pas fixé depuis des années. Tous les travers décrits dans cet article et dans le thread reddit, la "dictature" des PMs ou du upper management, je veux bien croire qu'on les trouve chez github, mais c'est quasiment partout pareil, malheureusement.

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.
votre avatar
Conséquence d'un changement de priorité, on a baculé d'une boite mettant en avant la tech et ses utilisateurs a un modèle beaucoup plus corporate ou le marketing et la finance tiennent le volant. Peu de doute que le rapprochement de MS a largement accéléré le mouvement et servait cet objectif.

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
votre avatar
"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."

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 ?

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 ?