Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Ghostty is leaving GitHub

mitchellh.com

Post reply on HN
Print view View original

101–110 of 1001 posts

Re: Ghostty is leaving GitHub

#101

Post by lucb1e »

nextaccountic wrote: post #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 issue…

I didn't know of this, that special ref mechanism sounds really cool! Thanks for the protip

Re: Ghostty is leaving GitHub

#102

Post by bayindirh »

spindump8930 wrote: post #56
bayindirh wrote: post #35

Earlier quoted context omitted.

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…

Please see below. This is from the OG, "first generation" Copilot, from 2022. If I can find any more from my dusty trove, I'll edit or reply to this very comment. I can't do more digging now, because I'm in a pinch.

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

Arguably "The Stack" contains only permissively licensed code, but there are two repositories of mine inside it. One is a very simple logging library, without any license (which implies "All Rights Reserved"), and another is a fork of LightDM which I worked on, which is GPL licensed.

So any "permissively licensed" dataset probably contains at least one copylefted or strong copyrighted codebase, making them highly suspicious.

== EDIT ==

Found some. Kagi's date-constrained search to the rescue.

1. Should GitHub be sued for training Copilot on GPL code?: https://news.ycombinator.com/item?id=31847931

2. GitHub Copilot, with “public code” blocked, emits my copyrighted code: https://news.ycombinator.com/item?id=33226515

3. AI-Powered GitHub Copilot Leaves Preview, Now Costs $100 a Year: https://developers.slashdot.org/story/22/06/25/0334207/ai-po...

4. GitHub Copilot is trained on all languages that appear in public repositories (CTRL+F on the page): https://web.archive.org/web/20260428180443/https://github.co...

Re: Ghostty is leaving GitHub

#103

Post by oulipo2 »

mitchellh wrote: post #26

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…

Tools can be frustrating. We can get emotional with tools we appreciate and we grew up with. But we should also learn to not focus solely on work efficiency. As you say yourself, this is unhealthy. You've labeled it, now work on fixing that unhealthy relationship with work, and with that tool.

Nobody should be in an emotional turmoil because they can't do a PR in a 2h window during a day.

We should all learn to take things more slowly, because our current accelerationist society is detroying the planet, and is destroying social ties.

Because, if you get that emotional from on a non-functioning tool... wait until you discover how our non-functioning democracies allowed for a genocide to happen in Gaza, for people in the south to be doing slave-work for our AIs to satifsy people in the north, etc

Re: Ghostty is leaving GitHub

#104

Post by velcrovan »

> To the "Git is distributed!" crowd: the issue isn't Git, it's the infrastructure we rely on around it: issues, PRs, Actions, etc.

Yet again, I wish the prevailing SCMS were more like Fossil, where issues and forum posts, at least, are part of the repository (and everything lives in a single sqlite file). (Of course Fossil actively opposes "pull requests", separate issue)

Re: Ghostty is leaving GitHub

#105

Post by frevib »

DrammBA wrote: post #34
mitchellh wrote: post #26

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

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

Re: Ghostty is leaving GitHub

#106

Post by LelouBil »

The downfall of GitHub is sad, having a centralized way to find cool open source software is amazing. I use the feed of what people I'm following are starring, tags and code search to find amazing and interesting projects, and I'm afraid I'll be missing out on great but hidden software since there is fragmentation when people leave GitHub.

And the search capabilities of alternative Forges are not the same (Mostly due to costs I assume)

Re: Ghostty is leaving GitHub

#107

Post by pathartl »

yetihehe wrote: post #40
tedivm wrote: post #8

It really has been remarkable watching GitHub just crumble as an organization. There's a lot of discussion about why: the switch from being independent to being part of Microsoft, having resources pushed to Copilot instead of core service, the organization structure itself, a reliance on vibe coding, etc etc. Regardless of the reason, it's undeniable that GitHub is facing some serious issues. The unofficial status pa…

Some years ago I wondered how long will it take them to go they way sourceforge went. Once you grow too much without a proper leader, you will fall :(.

Comparing GitHub and SourceForge as if they were cut from the same cloth is laughable to me. SF has always been a wretched hive of ads and dark patterns.

Re: Ghostty is leaving GitHub

#108

Post by denysvitali »

mitchellh wrote: post #26

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…

> Nobody should cry over a SaaS

This is more than a SaaS, for you and the others. Stating kind of the obvious: without it Vagrant, Terraform and heck, even Hashicorp would have not been the same - or probably even existed. Despite probably being a later user of GitHub I share the same feelings. It's so sad to see GitHub, a product and company I once respected a lot, getting trashed by Microsoft and all of these outages.

Re: Ghostty is leaving GitHub

#109

Post by stabbles »

OtomotO wrote: post #64
DrammBA wrote: 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,…

(Needless) complexity is going on. KISS and you sleep better. That and the problem of forever chasing trends and never saying: "It's done" without reinventing everything every couple of years (trends again) Sounds too easy? It is of course simplified, but the core still holds true. GitHub just worked, but they had to migrate to React because "that's what everyone else uses"... Pure Enshittification.

After yesterday's outage they admitted that their elasticsearch index for issues/prs lost data.

They seem to have changed the primary source of data in the issues and pull requests tabs (w/o filters applied) from the underlying database to the elasticsearch search index, which has the side effect that there's a noticeable delay between state change of an issue/pr and an update in the UI. But as seen today, these can get out of sync, and apparently they even had data loss in the index.

I would really like to know their reasoning for making that change. I can totally imagine that they wanted to "simplify" so the UI uses only a single data source instead of two.

As a user it's incredibly annoying to have a delay between issue/pr state changes and the search index picking it up.

Re: Ghostty is leaving GitHub

#110

Post by baggachipz »

incognito124 wrote: post #28

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.

Post reply on HN