Live data from Hacker News

Ghostty is leaving GitHub

mitchellh.com

411–420 of 1001 posts

Re: Ghostty is leaving GitHub

#411
post #188

Earlier quoted context omitted.

They are mostly blaming their shift to vibe coding for their problems. https://github.blog/news-insights/company-news/an-update-on-...

Hm. I read that as saying that their users are writing more code with the assistance of LLMs, thus placing more stress on their systems. I do not read it as making any comment about their own practices.

Oh you're right, I misread. They're actually blaming their customer's vibe coding on their problems. I which case I call BS

Re: Ghostty is leaving GitHub

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

fuck microsoft. it absolutely is the big badness of that monster. microsoft's sick monopoly has dragged humanity back by years from where we should be. every hour wasted, every email lost, every skilled career sacrificed to their garbage is the future lost.

Re: Ghostty is leaving GitHub

#413
post #92

> To the "Git is distributed!" crowd: the issue isn't Git, it's the infrastructure we rely on around it: issues, PRs, Actions, etc. A suggestion: use git-bug https://github.com/git-bug/git-bug in addition to migrating to another forge like Codeberg. It saves issues, PRs etc in git itself (not on a branch - on a specially crafted ref). It offers two way sync with a lot of providers. Other VCSes like fossil store issue…

Maybe Mitchell will pull a Linus and, out of frustration, take a weekend off to write the distributed infrastructure for issues, PRs, actions, etc. around git.

The most important part of Linus' project was day -1, when he sliced off all the chunks of work that depend on solving open research problems.

You don't want to start your Saturday morning declaring an _action struct, then filling the rest of the day staring at research papers about the current state of fast homomorphic encryption.

Re: Ghostty is leaving GitHub

#414

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

Great! I'll take my money to someone else who can handle the current state of engineering instead of wasting it trying to predict the future.

Re: Ghostty is leaving GitHub

#415
post #96

Earlier quoted context omitted.

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…

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

I do work at GitHub. I shared the above as a nuanced "yes and" to the pain that Mitchell is feeling.

In the same way that Mastodon didn't replace Twitter even when Twitter went to shit, I don't believe in the various GitHub alternatives becoming a broadly-used thing. Maybe we'll end up with more GitHub-alikes like Codeberg, mabye we'll end up with some communities adopting novel forges like Tangled and Forgejo. But it beggars belief that most of the millions of GitHub's users would switch to something so much more complicated. Has the same energy as "20XX is finally the year of linux on the desktop".

My very personal hot take: the likeliest happy future is _most likely_ to happen through improving GitHub. I vote with my feet to do that from inside, and that's all I wanted to add. Hence "I hope we do the things that make you want to come back one day." I believe in it enough that I choose to work here on exactly that, because like Mitchell, I care very much about the platonic ideal of GitHub. He's ready to move on, and I'm not yet. There's no value judgment hiding inside that.

Re: Ghostty is leaving GitHub

#416
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

[deleted]

Re: Ghostty is leaving GitHub

#417

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…

[flagged]

This is not good intentioned, you're a jerk, and it's 100% fine (and healthy) to care about things in life.

Re: Ghostty is leaving GitHub

#418

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…

You have been a tremendous influence on my professional life. Vagrant made VMs easy to use. You were very gentle with my Vagrant PRs. We disagreed a bit and I migrated some of those rejected Vagrant PRs into VeeWee. Then Hashicorp happened and I was over the moon. (Full transparency - not everything was perfect, I lost 50% of my Hashicorp equity which hurt real bad but that's not your fault, just saying there were ups and downs!)

This is all to say I have tremendous respect for you. Which is why I say:

You also have the resources to fix this. You not only have the resources and skill Mitchell, to make it happen - You know everything that it takes to be the CEO of a Billion dollar unicorn - you have the connections, you have the vision.

More importantly, Mitchell, you care.

Make it happen. You have done it a few times before. Do it again.

Re: Ghostty is leaving GitHub

#419
post #92

> To the "Git is distributed!" crowd: the issue isn't Git, it's the infrastructure we rely on around it: issues, PRs, Actions, etc. A suggestion: use git-bug https://github.com/git-bug/git-bug in addition to migrating to another forge like Codeberg. It saves issues, PRs etc in git itself (not on a branch - on a specially crafted ref). It offers two way sync with a lot of providers. Other VCSes like fossil store issue…

Maybe Mitchell will pull a Linus and, out of frustration, take a weekend off to write the distributed infrastructure for issues, PRs, actions, etc. around git.

https://radicle.dev/

Re: Ghostty is leaving GitHub

#420
post #181

Earlier quoted context omitted.

1,202 if we're bragging. TBH I'm not super invested in github. I pay for it (smallest plan) and use it as a repository and for forking other projects occasionally, and for hosting some small-time static sites. I've never really needed any of it's other features. Every time I go to github.com there's more and more cruft though, which to me means that I'm not their target customer and they will inevitably either aliena…

I am 22095 on GH but 213 on Sourceforge :-D I have a 5 digit user id on Slashdot as well (~20k mark if I recall).

My Slashdot ID's under 4,000. It makes me a little sad that I can't bear to use it anymore.
Post reply on HN