Live data from Hacker News

Ghostty is leaving GitHub

mitchellh.com

381–390 of 1001 posts

Re: Ghostty is leaving GitHub

#381
post #152
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'm 13936 and I felt like I was SO LATE to the party when I signed up.

I was too loyal to mercurial, only switched to git/github long after the battle was lost and won.

Re: Ghostty is leaving GitHub

#382
post #54
post #34

Earlier quoted context omitted.

I can feel the frustation, nothing dramatic about expressing it This quote from the post resonated with me: > I want to get work done and it doesn't want me to get work done. I want to ship software and it doesn't want me to ship software. The sentiment is shared, and github is not the only service making me feel like that, it feels like everything on the web is more flimsy and low quality nowadays. Constant outages,…

[flagged]

It's slop from both sides, they're pretty obviously slopping their move to Azure, and at the same time being slammed with a Cambrian explosion of slop repositories.

Too bad it's not reminiscent of the Hotmail purchase where they tried to move off the BSD servers and ended up with new accounts on the relatively unreliable Windows-based setup, and old accounts routed to the original BSDs.

Re: Ghostty is leaving GitHub

#383
post #129
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…

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.

And here I thought I was doing well at 47979. That was January 2009, so not too bad.

Re: Ghostty is leaving GitHub

#384

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…

The only users who can push for features now are those who can somehow directly influence people working on GitHub (a small number of users) or those with massive purchasing accounts that can shake Microsoft itself to its core (governments, fortune 100 companies).

I suppose us "normals" can push by making it easy to replace GitHub with something else, so that they start risking losing it all.

Re: Ghostty is leaving GitHub

#385
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'd honestly argue the opposite. Staying with an abusive partner is not likely to resolve the abuse, no matter how much you think so.

Ghostty and others leaving might be the only way that active users could actively and visibly signal a need for change.

Re: Ghostty is leaving GitHub

#386

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

> Other VCSes like fossil store issues alongside the repo. I think it's appropriate because in a sense, issues are part of what gives meaning to the code (like documentation)

I was thinking about fossil in the context of agentic workflows the other day, after seeing a co-worker go all in on sort of shifting themselves to a TPM workflow, using a locally hosted kanban board (inspired by OpenAI's Symphony).

It'd make things easier to have everything shoved into the repo, other than that everything is now shoved in the same repo being handled by the barely constrained chaos monkey that is an LLM coding agent. Locking things down gets hard if it's got access to the whole thing there.

Re: Ghostty is leaving GitHub

#387

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…

In a reductive sense, yeah it's a bit silly. But zooming out, I can understand. Sucks to have your hand forced. Sucks to be let down. Sucks to watch something that was great fall from grace.

Thanks for Ghostty, been my daily driver for awhile now. Hope the rest of your day/week goes much better!

Re: Ghostty is leaving GitHub

#388
post #277

Earlier quoted context omitted.

> Youve lost the OS, and the server realm. Lose the developers, and youre on your way to becoming the Xerox of the 21st century. This is a very HN take. MS is terrible or at best "second tier" on everything they do including gaming, they also lost the mobile race, they're very likely going to lose the AI race, but they'll still hold hostage of the vast swathes of average white collar workers with Office, people that…

FWIW I also think an underappreciated advantage is Windows Server (last I checked that was still rock-solid) and Active Directory. Lots of CIOs / CTOs would correctly veto a move off of these, absent a specific technical problem. This is really more of a "hard knocks" lesson than anything fundamental to operating system design or implementation, but: the two Linux shops I worked at got at least a little sloppy about…

> and a truly 21st-century monolith-microkernel hybrid whose specific design is a mystery to public science

What is this a reference to? Fuchsia?

Re: Ghostty is leaving GitHub

#389
post #278

Earlier quoted context omitted.

> very vocal about Github on X I really wish an open-source developer of his caliber would also migrate to a serious microblogging service which isn't so openly hostile to truth and civility. Ending the sticky network effect of an evil service starts with its biggest, most prolific users migrating away.

It's all about who you follow. My feed is mostly AI people, entrepreneurs and nerds. Some political stuff gets through, but otherwise, I'm glad to be back on X in the last few months (I left a few years ago in disgust over the insane politics because even nerds were only talking politics).

No, that’s just solving for you. The person you are responding to is asking for an ethical stand; just because you can ignore it doesn’t mean it’s not there.

This is the same bullshit that people bring up with Facebook, there’s no reason we can’t apply the same rubric to Twitter.

Re: Ghostty is leaving GitHub

#390
post #152
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'm 13936 and I felt like I was SO LATE to the party when I signed up.

I'm 17722 and also felt late. I was a holdout on Subversion and was resistant to Git in general since SVN still worked fine and had good tooling, but eventually some client work moved to Git and thus eventually Github.
Post reply on HN