Live data from Hacker News

Ghostty is leaving GitHub

mitchellh.com

51–60 of 1001 posts

Re: Ghostty is leaving GitHub

#52
> 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 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)

Re: Ghostty is leaving GitHub

#53

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…

Wow, thanks for your honesty here. I'm commenting primarily to commend your decision-making which I couch in empathetic understanding. I saw your post and immediately thought, "good, surprised it took {any organization leaving github} this long." I don't hate big M nor the 'github ecosystem' (except maybe github actions, which seems to get 10x the attention it deserves); the challenge is I perceive far better solutions to be chosen which would serve the open source world if we simply deploy a slight increase in cognitive energy.

Re: Ghostty is leaving GitHub

#54
post #34

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…

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]

Re: Ghostty is leaving GitHub

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

Note: I'm a graybeard coming from SVN era. GitHub took a massive hit in credibility when it got bought by Microsoft. We are a burned generation, we have seen the worst of Microsoft. This created a massive crack in the foundation of trust for most people. Then Copilot happened. Some people dug how the training is done, and one GitHub employee responded by mail that every public repository including GPL repositories ar…

Any more context on the copilot training note? More pointers would be very interesting, but we'd need to keep in mind how many different underlying models were (are?) branded as copilot. I thought at some points the "copilot" model in autocomplete contexts was a finetuned GPT from OAI.

Re: GPL, there are other open access datasets of git repos that make some distinctions between copyleft licenses but those are older resources now.

Re: Ghostty is leaving GitHub

#58

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…

There isn't inherently wrong with loving a tool or been sad when it it becomes something you can't love anymore, we are tool using monkeys after all - it is perhaps our defining characteristic.

I'd be absolute crushed if Linux (for example) morphed into something I could not/no longer wanted to use, part of the reason I use open source wherever I can is because that is less likely to happen, Inkscape is still inkscape nearly 20 years after I started using it, so is Gimp, so is KDE, they've all changed but the essence of them is still the same (so has Linux).

Re: Ghostty is leaving GitHub

#59
I'm not sure how we ever could have expected GitHub to continue with or add quality when being built by the same company that also builds MS Teams. There are clearly the wrong quality levers at work inside Microsoft.

Yes, it seemed like Microsoft had a brief interregnum period of about 10 years where they seemed to have a renaissance and a genuine culture change and a concern for quality and initiative seemed to take hold.

And for many of us who came into the industry in the 90s this was a strange period because actually post-Gates/Balmer MS suddenly seem not so bad?

But that was until the first deals with OpenAI and the first round of layoffs. After Musk's purges at Twitter, MS was the first to really join in the fray.

Since then the old MS is back. Clearly as Machiavellian as in the past. But kind of sadder and more pathetic.

But honestly I'm also a bit confused by the framing some people have this thread because I remember GitHub always having reliability issues in its early days. It and Twitter were both famous RoR projects with notorious and constant outage issues in the 2008/2009 time-frame.

Post reply on HN