Live data from Hacker News

Ghostty is leaving GitHub

mitchellh.com

271–280 of 1001 posts

Re: Ghostty is leaving GitHub

#271
post #149

Earlier quoted context omitted.

The problem is that Github does a lot . However, I consider that there is still not a great UI for the core service, in special for a complex project. In the other hand, I bet jujutsu has the best basic take, and is still missing a good forge.

Unfortunately, naming things is hard, and JujitsuHub just doesn't roll off the tongue the same way that GitHub does. jjhub? forgesu?

You just don't have to think about it too hard:

jjplace/jjhub/codetown, whatever. Doesn't matter.

Names don't matter that much for brands. Names just have to be simple enough to remember (ideally two syllables or less). What the heck does Nike mean, for example? Boeing is just someone's name. Microsoft is just two words smashed together. A brand's name literally doesn't matter.

Re: Ghostty is leaving GitHub

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

You sound like you just want to make the world a better place /s

shrug, I can't fix a lot of things in our reality, but I'd love to leave software development in a better state than when I found it

Re: Ghostty is leaving GitHub

#273
post #254

Earlier quoted context omitted.

Considering the size and scale of Github, do you feel like it's become closer to an infrastructural public good rather than a privately owned product? The amount of impact I've seen to businesses around the US at least might as well be akin to a Covid shutdown, and that certainly has me thinking about what the overall impacts are on the US economy overall.

git is an infrastructural public good. github is a company that sells you git adjacent services. Speaking of git adjacent services. Why did google code end? Was it too hard for them to monetize? I tend to have an aversion for signing up for stuff so have never had an account on either, but they had a lot of momentum. And them shutting down that service feels like the inflection point marking the end of the "don't be…

> Why did google code end? Was it too hard for them to monetize?

My guess is that abuse (people hosting files/data that google didn't/wasn't allowed to host) made it untenable for a service that wasn't generating revenue and had limited headcount.

Something like Google drive or yt could spend a lot more energy stomping it rather than the handful of folks from the open source programs team.

Re: Ghostty is leaving GitHub

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

> In the past few years, GitHub has absorbed both a fundamental paradigm shift (agentic coding) AND several different hockey sticks of growth. It's messy. I'm not always proud of the results or the product choices we are forced into.

Excellent example of why centralization is a bad thing. A Git “hub” is not a thing that should have ever existed for a self-described “distributed” version control system.

Re: Ghostty is leaving GitHub

#275
post #54

Earlier quoted context omitted.

[flagged]

I think it's more people are checked out (and AI is one part of it yes), made worse by orgs who don't know how to lead/manage/change effectively. FWIW, some people used to (or still do) say similar things that software is significantly worse because people use "unserious" languages like PHP, Ruby, Python, JavaScript. It brought about so much cool shit that I don't think it's worth saying we should've stuck with only…

Github is going around boasting how many PRs they generate a day with Copilot with very limited human input. Whether that's true or not, it might have effect.

Re: Ghostty is leaving GitHub

#276
post #17

> past month I’ve kept a journal where I put an “X” next to every date where a GitHub outage has negatively impacted my ability to work2. Almost every day has an X Is it really this bad? I've seen people complain about Github, but I thought it was more of a theoretical inconvenience rather than a real practical one. As in, the uptime for a serious software company should be 99.9, but two hours down just today, and co…

Yeah, we use GH heavily at work (not so much GHA for critical workflows, thank god). They have an outage that breaks our git operations once a week at least. Like, webhooks not delivered, PRs not showing up, git operations not working, API issues… and that’s not counting GitHub actions which we only use for noncritical workflows

Re: Ghostty is leaving GitHub

#277

>It’s not a fun place for me to be anymore. I want to be there but it doesn't want me to be there. 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. Has anyone else shared this sentiment? If so Redmond needs to lean in hard. this is an absolute killing blow for Microsoft if it gains real traction. You made developers your cornerstone eigh…

> 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 don't care at all about technology as long as they have Word and Excel.

There's a reason why writing .docx was one of the first proper skills that Claude got.

Re: Ghostty is leaving GitHub

#278

Not surprised, I think I was subconsciously waiting for this as Mitchell has been very vocal about Github on X. They killed a lot of developer goodwill, and I feel this is just a start of the mass exodus. Good luck to the team with migration! (And here's hoping it's ersc :))

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

Re: Ghostty is leaving GitHub

#279
post #149

Earlier quoted context omitted.

The problem is that Github does a lot . However, I consider that there is still not a great UI for the core service, in special for a complex project. In the other hand, I bet jujutsu has the best basic take, and is still missing a good forge.

Unfortunately, naming things is hard, and JujitsuHub just doesn't roll off the tongue the same way that GitHub does. jjhub? forgesu?

Dojo is such an obvious thing, but its such an obvious thing that there are dozens of software trying to call themselves that.

Re: Ghostty is leaving GitHub

#280
post #105

Earlier quoted context omitted.

Enshittification has become the winning strategy for companies. If you don’t enshittify you will lose.

This is my darkly optimistic take on enshittification: Companies know how to make good product, but if they don't have "new and shiny" to impress us anymore, then their only alternative is to make things worse so they can heel turn and then make things "better" by unmaking all of the worse things they did. They can also milk their customers coming and going in the process. It's not "enshittify or lose", its just raw…

[dead]
Post reply on HN