Live data from Hacker News

Ghostty is leaving GitHub

mitchellh.com

291–300 of 1001 posts

Re: Ghostty is leaving GitHub

#291

> 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/

Github released that split PR beta, so sounds like they are still thinking about the future which is moving towards small manageable PRs which are part of a parent ticket. That's a solid way to dealing with AI codegen bloat.

Re: Ghostty is leaving GitHub

#292

I can appreciate Hashimoto's genuine feelings about Github, and the world of open-source software development that it opened for him and that he spent a significant chunk of his life participating in. On the other hand, I can't help but think that some of this heartbreak would have been avoidable, if only he possessed more of the Richard-Stallman-esque attitude that non-free software is inherently suspect and unethic…

> Github has always been non-free software hosted by someone else, and run according to its owners' rules and for its owners' benefit, not ultimately the end user. This was true in 2008 and it's true today.

Yup. At KDE we never seriously considered GitHub. We always built our own git infra, and eventually landed on GitLab, after banding together with Gnome and a (generous and forthcoming) GitLab to convince them to move everything we needed from the Enterprise Edition to the free software Community edition.

I think we've had exactly one multi-hour git outage in 16 years.

Re: Ghostty is leaving GitHub

#293
I think GitHub has completely lost the plot over the last year or so, I don't think the stuff I work on will leave any time soon but I'm slowly losing my patience with github.

The other week I spent about an hour trying to figure out why my actions jobs were just stuck on waiting and not starting.

For my personal stuff, I think I'm going to migrate to either my own selfhosted instance of something like gitea or codeberg, the juice just isn't worth the squeeze anymore imo for GitHub, even with stuff like free runners and pages.

I personally think this is mainly attributed to GH Copilot and I would love to know if MS/GH even makes a profit on it.

Re: Ghostty is leaving GitHub

#294

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…

No serious person would make fun of this emotional reaction. It seems technology had something going on, and it quickly got flooded by incompetence and greed.

We have all been deeply involved, constructed careers and sharpened our tools with technology and hopefully for the benefit of technology. I can only imagine how deeply sad the current state of software is for those talented individuals that helped to carry it to here.

Some of us can at least hide it with cynicism because there is not much at stake, but emotional honesty is very much appreciated.

Re: Ghostty is leaving GitHub

#295

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…

God would cry too if they saw the world they created. Let the salty tears flow

So far everything is going according to the plan. Humans are really close to make the AI that will replace them and enter into the next phase of the plan.

Or do you have a better idea of what the plan exactly is?

Re: Ghostty is leaving GitHub

#296
post #175
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.

hah, my cheat here is https://github.com/YOURHANDLE.png Will redirect to an image file whose title is your user ID! :D

I love that https://github.com/yourhandle is an existing organization.

Re: Ghostty is leaving GitHub

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

Not necessarily culture, it could be just forcing to migrate to azure that is not reliable, no?

Azure is not the best, but it mostly works. GitHub gets only 98% reliability for git operation component, reading and committing. This is the most basic component. The fact they are not on this 24/7 and it isn't fixed is the result of a culture (=what is prioritized, what quality is accepted).

Re: Ghostty is leaving GitHub

#298
post #98

Earlier quoted context omitted.

Microsoft, Greed, Outsourcing to low-cost-countries who couldn't care less and rotate entire dev teams on you every few months or so, etc... No AI needed at all. Only humans.

What should we do? The only thing I can think of is to stay vocal about it. Never accept enshittification. Always point things out when they suck.

Focus on open protocols, simple formats over complex vendor-specific cruft. Then you can always "fork" away from an enshittified saas.

I bet a small team of the quality of the kind developers who are attracted to hacking on Ghostty could recreate the subset of GitHub functionality they actually need in ~six months. It's just the problem of how to pay for the ongoing care, maintenance and hosting? Maybe another opportunity for Mitchell's particular brand of philanthropic OSS.

Re: Ghostty is leaving GitHub

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

The heroku mention here struck a chord for me. I don’t feel as attached to GitHub for some reason but Heroku was the first web host I used where I felt like “this is how cool a web-based tech-oriented product can be”.

So crazy to see how money can ruin such a good thing.

Re: Ghostty is leaving GitHub

#300
post #235

What I want to see is Linux kernel leaving GitHub...Always had a bad feeling about it being hosted at somewhere controlled by Microsoft..

Linux kernel source is hosted at https://kernel.org , not GitHub. You're probably thinking of Linus Torvald's read-only mirror[1]. [1]: https://github.com/torvalds/linux

Thanks for the correction.
Post reply on HN