Live data from Hacker News

Ghostty is leaving GitHub

mitchellh.com

341–350 of 1001 posts

Re: Ghostty is leaving GitHub

#341
post #25

I'm very interested in where ghostty ends up - I wonder if they'll follow Zig to Codeberg? It does seem like it might, in general, be a very opportune time for GitLab (or another host) to publicly step up! There seems to be a lot of chatter on X recently about wanting an entirely new GitHub usurper that doesn't look like GitHub at all, but in the short- to medium-term I expect this not to gain a huge amount of tracti…

Eh, I kinda hope not. Codeberg's latency even for just browsing is pretty bad (in my experience) and also is only sporting a single 9 of uptime [1].

I wish Codeberg the best, but I thought it was a questionable choice for Zig and feel similarly for Ghostty—doesn't seem like a strict improvement.

[1] https://status.codeberg.eu/status/codeberg

Re: Ghostty is leaving GitHub

#342
post #96

I know this is ridiculously dramatic, but its the truth: I actually cried writing this blog post (tears hit my keyboard, I'm embarrassed to say). Nobody should cry over a SaaS, of all things. But GitHub has meant so much more to me than that (all laid out in the post). I have an unhealthy relationship with it. Its given me so much and I'm so thankful for it. But, it's not what it used to be. I don't know. We've been…

Hi there! Longtime fan and hubber here. It's okay to have emotions. I have similar emotions. I'm GitHub User 22723 which is effectively the same as you (considering there's ~180m GH accounts nowadays) My version of your post reads differently: "GitHub only gets better if people who give a shit stick around to make it better" Walking away would be easy. I felt that way when I left Heroku ~six years ago. I left that jo…

looks like you work at github.

I completely understand a "people who give a shit stick around" mentality if you work there, but you can't expect users who run a business on it to stick around if it's broken.

Re: Ghostty is leaving GitHub

#343
post #129

Earlier quoted context omitted.

If anyone reading this is curious of their own, you can go to https://api.github.com/users/YOUR_USERNAME_HERE and fetch it. My ID is just over 10,000. Crazy to think of the journey that I've had in computing since I signed up for GitHub.

I was late to the party: 457,207 Created at 2010-10-27T23:42:22Z. 16 years! What a wild ride. I used to use bitbucket a ton back then. I loved it. https://api.github.com/users/steveadams

Top million though! Still earliest 1%.

Re: Ghostty is leaving GitHub

#344

> I know I work at GitHub so that might sound heretical, but I promise it’s not controversial for me to say it. Very few people internally believe that PRs and issues are ideal primitives for the future of engineering. And there are a lots of us inside the machine exploring what comes next. From GitHub's Staff Research Engineer https://maggieappleton.com/zero-alignment/

Honestly the arrogance of their workers are truly astounding. It also tracks that someone with little software experience would become GitHub's staff research engineer. Truly a massive signal that we can't let these companies lead the direction of tech in our country.

Where is the arrogance? and I thought talk/slides where interesting.

And wdym even mean "lead the direction of tech". Its just people trying to build a product based on their views/vision.

Others are free to build their own competing visions? and everyones free to choose the platforms that they use.

Re: Ghostty is leaving GitHub

#345

Earlier quoted context omitted.

> "GitHub only gets better if people who give a shit stick around to make it better" This is true but misleading. Unfortunately. It is a true statement for developers working in GitHub at Microsoft. It's not a true statement for users. There is no avenue by which you make GitHub better by continuing to use it as it has been.

Sure it does. Users who continually push for the right features, stress test things (under normal circumstances), demonstrate uses of the platform that could be baked in by default, etc. are all highly valuable to everyone. And the social aspect matters too, even if GitHub really isn't a "social coding" site anymore. If great people doing OSS stuff are all on various GitHub projects, that encourages more good people…

> Users who continually push for the right features, stress test things (under normal circumstances), demonstrate uses of the platform that could be baked in by default, etc. are all highly valuable to everyone

That's the job of GitHub's product and engineering teams, not the users.

Re: Ghostty is leaving GitHub

#346

Earlier quoted context omitted.

Not always, but it was so long ago that it became that, younger folks could be forgiven for thinking so.

Idk, I'm in my mid 30's and I've never had a moment where I've been glad to see something on SourceForge.

So you were ~10 years old. I'll assume not a heavy user of Open Source software, at that time.

Edit: 2001, I see one (1) banner ad, and that ad was seemingly for an OSDN (Open Source Developer Network) conference. https://web.archive.org/web/20010517002942/http://sourceforg...

Given SourceForge only hosted Open Source software, and had no source of revenue beyond ads and sponsors for quite a long time, AFAIR, I think they get a pass on a banner ad.

Re: Ghostty is leaving GitHub

#348
post #8

It really has been remarkable watching GitHub just crumble as an organization. There's a lot of discussion about why: the switch from being independent to being part of Microsoft, having resources pushed to Copilot instead of core service, the organization structure itself, a reliance on vibe coding, etc etc. Regardless of the reason, it's undeniable that GitHub is facing some serious issues. The unofficial status pa…

Wow. According to the current metric (87.25% uptime), github suffers a partial outage 3h/day. https://onlineornot.com/uptime-calculator/87.25

In their defense, they dramatically "over"-report sev-2/3's (things like, avatar urls are not loading in saudi arabia), which makes their cumulative uptime look much worse than it is.

If you filter for major/critical outages, their uptime of core services in trailing 12 months all have two 9's.

https://isgithubcooked.com/?severities=major.critical

Also, a huge part of their cumulatively-bad availability story is copilot, which is a functionality (LLM inference) that most organizations have struggled to get two 9's of availability in for the last 9 months.

Re: Ghostty is leaving GitHub

#349

> I know I work at GitHub so that might sound heretical, but I promise it’s not controversial for me to say it. Very few people internally believe that PRs and issues are ideal primitives for the future of engineering. And there are a lots of us inside the machine exploring what comes next. From GitHub's Staff Research Engineer https://maggieappleton.com/zero-alignment/

Honestly the arrogance of their workers are truly astounding. It also tracks that someone with little software experience would become GitHub's staff research engineer. Truly a massive signal that we can't let these companies lead the direction of tech in our country.

You weren't kidding. They're an anthropologist who went into design a few years ago because "it's not terribly employable" and as of less than 1 year ago was a "Lead Design Engineer at Normally"? This is GitHub Staff eng steering the direction of the concept of PRs?

Re: Ghostty is leaving GitHub

#350
post #265

Earlier quoted context omitted.

I used to think people who said Github had become very unreliable were exagerating, but I can't miss it now. If you want to keep people, you have to actually go down less. It's interesting that internally you had a very different experience with Salesforce buying Heroku and Microsoft buying Github. From the outside it appears to be analagous (except github is degrading quicker than Heroku did?)

Salesforce never understood Heroku. Salesforce's understanding of Heroku, if such an understanding ever existed, was wildly different than what Heroku understood it wanted to be. Benioff's penchant for buying himself a company every year did not help — "no headcount this year, we're buying Mulesoft/Quip/Tableau/Slack/$WHATEVER. And oops we spent too much money on dreamforce. Sucks that your pager rotations are burnin…

> And it's had to expand into the AI field

Maybe a hot take: no, it didn't.

I think it had all the pieces (api,cli,etc.) already that it would've still be very useful in an AI world without deeply integrating AI things (copilot, etc.). I'd take higher availability over AI features any day.

Post reply on HN