Live data from Hacker News

Ghostty is leaving GitHub

mitchellh.com

771–780 of 1001 posts

Re: Ghostty is leaving GitHub

#771
Aside from outages, what really bothers me lately about GH is how slow the "app" actually is. Keeping a tab open on a PR status check burns 25-30% of a core on my cpu even when it's hidden. Reviewing large PRs has an awful workflow. Almost every diff page I load starts with "there's nothing here" then starts to load...

Re: Ghostty is leaving GitHub

#772

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…

> I'm sure folks will make fun of me for this To be honest, the blog post is quite a lot of self-indulgent waffle. But I forgive you for that, "each to their own", as they say. What I won't forgive you for is writing such a long blog post and then completely missing the bottom-line. Do not write "I'll share more details about where the Ghostty project will be moving to in the coming months" . If you're going to make…

Better yet don't write the post at all until you actually do something.

"I'm going to become a vegetarian" vibes.

Re: Ghostty is leaving GitHub

#773
post #3

What do we think is more to blame for GitHub's massive decrease in quality? I've heard the following theories: 1. Increasing amount of AI-generated code in their codebase, decreasing the quality of the service. 2. Bought by Microsoft, and their bad engineering culture has spread to GitHub. Perhaps it's a bit of both.

Well, it started just after the Microsoft acquisition, when AI did not exist, and coincided with news of Microsoft fully ingesting the GitHub team and forcing architecture and priority changes, and has steadily continued since. So idk, it’s a mystery. Maybe it was caused by the thing that did not exist when it happened. Microsoft just posted on a PR blog that it’s the thing that did not exist, and they’re famously truthful, open, and altruistic.

Re: Ghostty is leaving GitHub

#774
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…

> crumble as an organization

I think that is exaggerating things a bit... GitHub is alive and well, and they're hosting more and more projects each month. A few well-known projects leaving every now and then doesn't exactly spell doom for GitHub

Re: Ghostty is leaving GitHub

#775
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.

Thanks for the link. ID: 67,498 Created: 2009-03-26 17 years, a month and two days ago.

33000 something, nov 2008. Just interesting to see how the growth escalated in 2009 judging by other comments here as well.

Re: Ghostty is leaving GitHub

#776
microsoft destroyed github: they were careful at keeping classic web (noscript/basic (x)html) support for their core features... and after being bought, everything broke steps by steps.

Now, you must have a whatng cartel web engine to interact with most of the basic features.

Thx microsoft, again.

devs should start to leave microsoft github, but for a forge which respects the web (namely which has a web site, and which is not only a web app).

Re: Ghostty is leaving GitHub

#777
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…

Have those outages actually been blocking your work? Somehow I haven't even noticed, just seen complaints on HN. I'm not saying it's not real, just wondering where the gap is.

Yes, many times. Roughly once a week this year my team or an associated team can't ship changes because PRs, GitHub Actions, or some other associated mechanism is down.

Re: Ghostty is leaving GitHub

#778
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…

This is called brand loyalty, and it's one of the first thing they'll abuse.

Re: Ghostty is leaving GitHub

#779
post #22

During one of the x threads where Mitchell was (legitimately) complaining about Github, there were a couple replies suggesting that GitHub should hire him to be their CEO. And I remember seeing that and thinking "huh... not at all a bad idea." There is a specific kind of leader that can turn such ships around, and they are strong in their convictions, and aren't just "managers", but visionaries coupled with strong ex…

> GitHub should hire him to be their CEO And then impose the same requirements that killed GitHub in the first place.

- "Ok guys first thing is move off Azure and ditch Copilot to get back to the level of stability we had before all that mess"

- "Uuh, no"

Be a pretty quick story

Re: Ghostty is leaving GitHub

#780
post #773
post #3

What do we think is more to blame for GitHub's massive decrease in quality? I've heard the following theories: 1. Increasing amount of AI-generated code in their codebase, decreasing the quality of the service. 2. Bought by Microsoft, and their bad engineering culture has spread to GitHub. Perhaps it's a bit of both.

Well, it started just after the Microsoft acquisition, when AI did not exist, and coincided with news of Microsoft fully ingesting the GitHub team and forcing architecture and priority changes, and has steadily continued since. So idk, it’s a mystery. Maybe it was caused by the thing that did not exist when it happened. Microsoft just posted on a PR blog that it’s the thing that did not exist, and they’re famously tr…

If you've worked with Azure you don't need to be explained what the problem is. I'll believe that workloads are different now than they were some years ago but... they literally are the cause for it so no sympathy from me there.
Post reply on HN