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.
Ghostty is leaving GitHub
381–390 of 1001 posts
Re: Ghostty is leaving GitHub
#382Earlier 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]
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
#383Earlier 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.
Re: Ghostty is leaving GitHub
#384Earlier 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…
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
#385Earlier 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.
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…
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
#387I 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…
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
#388Earlier 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…
What is this a reference to? Fuchsia?
Re: Ghostty is leaving GitHub
#389Earlier 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).
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
#390Earlier 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.