Just before the Vogons demolish Earth to make way for a hyperspace bypass, the dolphins, knowing what’s coming, leave the planet and their farewell message is “So long, and thanks for all the fish.”
I wonder what he's implying about GitHub…
Nothing. It's just a common(-ish) reference/joke.
My home wifi network has been named Vogsphere for some time now…
Don't forget to carry a towel at all times, of course!
so long and thanks for all the fish, so sad that it should come to this, the world's about to be destroyed, there's no point getting all annoyed, lie back and let the planet dissolve
Just in case you thought that Microsoft considered GitHub to be a development tool.
Cool. Can we get faster load times on that mess of a SPA now instead of more AI stuff?
A good opportunity for a new git hosting service to emerge to fill the void.
So the whole of GitHub is now seen primarily as an AI platform?
# GitHub is no longer independent at Microsoft after CEO resignation
## GitHub CEO Thomas Dohmke has resigned, and now GitHub will be part of Microsoft’s AI engineering team.
https://www.theverge.com/news/757461/microsoft-github-thomas...
and peace out this week?
I've seen enough: as the recognised authority and designated responsible person ;) https://news.ycombinator.com/item?id=7525256 I'm officially recognising this as the final end of 2010s Cool Microsoft.
> 74 points by leoc on April 3, 2014 | parent | context | favorite | on: Microsoft Open Sources C# Compiler
> Well, here we are then. This now officially the standard play for formerly-dominating computer-platform firms who have fallen on hard times: having before been proudly hard-nosed and proprietary, publicly see the light and present a new image as a new, kinder, gentler company which totally gets it about openness. Former famous examples: IBM under Lou Gerstner (we love Linux and open platforms!), Apple after the NeXT acquisition but before the iPhone (look how expandable our new PowerMacs are; on the software side, we're now an open-systems-loving Unix vendor, and we'll even open-source our kernel!), poor old SGI (we love Linux now! Or, wait ... actually WinNT, whatever.). Sun of course used to go back and forth between being chill dudes who totally get it and more nakedly hard-nosed. As always in these cases, the questions are how far the bright new era of glasnost actually goes in substance (IBM legal's patent monster quietly thrived through all the kinder-gentler period) and how long it lasts (these eras tend to end with the company either dwindling into irrelevance, or finding renewed success and going back to its bad old ways).
Historical debate may now begin.
GitHub is completely unrecognizable compared to how it was before being gamified and turned into social media.
The title of that article is "GitHub CEO delivers stark message to developers: Embrace AI or get out."
and in that article, the quote is:
> "Either you have to embrace the Al, or you get out of your career," Dohmke wrote, citing one of the developers who GitHub interviewed.
but the text in the blog post that BI cited was:
> The developers who found success with AI tools have a strong underlying motivation to prepare for what they anticipate will be an overhaul of their profession. To that end, they relentlessly experiment with various AI tools, even when the tools aren’t consistently helpful. “Either you have to embrace the Al, or you get out of your career” one developer said.
Which honestly seems like poor phrasing on the supposed developer's part, but it wasn't the CEO saying it. Entropy all the way down.
Edit: Nevermind, apparently he did say that in various social media posts. It seems like an intentionally outrageous move that's been pretty typical of CEOs lately, but he did say it. Incidentally, I'm happy I'm so out of touch with other social media that I didn't know lol
https://cdn.prod.website-files.com/6660a5bfdcf6c5fbf039f446/...
Huh? The whole premise on which Github was founded was that it was "social coding". The phrase was even in the logo in the early days [0]. Social features like stars, following, and the activity feed have been there from very early on.
If anything, I feel like Github has become a lot more corporate and enterprisey since getting bought by Microsoft.
[0] https://github.blog/wp-content/uploads/2009/02/3e6c0720-b15a...
The social stuff came later as they realized that a big part of the friction in software development (and the actual business opportunity) was the actual working together part. They really innovated here and created a culture of workflows that has permeated the way most of us work.
But then there were a few years where they really didn’t seem to do anything of note (I remember there was a five month stretch where they didn’t post a single product update). And then they got bought. After that I don’t really know what their intention has been, but I guess this change brings it more into focus.
The product works fine for our use cases (and the fact everyone has a GitHub account makes the management piece super easy even with wacky enterprise requirements), but I hope they don’t start jacking up prices to pay for AI that I really really don’t want.
What makes you think this? I use it for work and it's never been better in terms of features, and is just as reliable as usual.
I honestly have no idea what you're talking about with gamification and social media. The only gamification I can think of is the commit graph which has been a thing for at least a decade.
The widespread downtime issues the last years aren't what I call usual
There was a time before "achievements" or badges and NARCISSISM.MD files on your profile page.
The UI has clearly regressed in terms of performance and responsiveness over the years, when GitHub insisted on making the code viewer a pseudo-IDE. There was even an article making this observation here on HN just last week [0].
Do you seriously feel that GitHub of 2025 has had less outages and more stability than GitHub of 2015?
Satya Nadella is the CEO of Github because Github is part of Microsoft.
Until the shareholder decides to tell the board to fire him.
That actually pissed me off. Here I thought I was creative work all these years and here comes this corporate drone telling us we were "managing outcomes".
GitHub is no longer independent at Microsoft after CEO resignation - https://news.ycombinator.com/item?id=44865560 - Aug 2025 (18 comments)
> GitHub CEO Thomas Dohmke announced Monday that he plans to step down, with Microsoft opting not to directly replace the position, according to memos shared first with Axios.
https://www.axios.com/2025/08/11/github-ceo-dohmke-step-down
Not too concerned over my public facing repos, Amazon and OpenAI seem to love 'em! I have the ultimate control over my private repos (nothing juicy). I can't say I trust Microsoft not to do something I don't like at any point in the future.
Edit: I should say I wish phabricator got more love, that was a great tool!
https://www.businessinsider.com/github-ceo-developers-embrac...
> GitHub and its leadership team will continue its mission as part of Microsoft’s CoreAI organization, with more details shared soon.
WTH.
GitHub is done.
