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

121–130 of 1001 posts

Re: Ghostty is leaving GitHub

#121

Post by alienbaby »

lucb1e wrote: post #101
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

We've had trouble with git and repo's that have used non standard refs. It's all fine and fancy until we wanted to use some tooling that works with git, except it wouldn't see our unusual refs, and because they were non standard they were effectively hidden unless you knew they were there. So the migration work (almost) silently lost 10+ years of old work that was hiding away under those non standard refs.

Re: Ghostty is leaving GitHub

#123

Post by weiliddat »

marginalia_nu wrote: post #86
carlos-menezes wrote: post #13

Earlier quoted context omitted.

I'd add a third point: record service usage. https://github.blog/news-insights/company-news/an-update-on-...

We don't have a labeled y-axis so their record usage could be a 5% increase for all they're showing us.

I think it doesn't need to be a large X% increase, just needs to hit some critical infra threshold where various services start failing and cascade. Weakest link and everything.

Re: Ghostty is leaving GitHub

#124

Post by spaceribs »

idan wrote: post #96
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…

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…

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.

Re: Ghostty is leaving GitHub

#125

Post by nomel »

weiliddat wrote: post #77
lpcvoid wrote: 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…

I don't know if it's just because I was young and bright eyed, but it seems like the "passionate nerd" is somewhat absent in modern tech orgs. Seems like, starting around 6 years ago, none of the new hires seem to give a fuck about anything anymore.

That's definitely great for work life balance, and I don't think any less of them for that, but passion seems to be gone.

I would be doing what I do for work if I was employed or not. That's how everyone I used to work with was. Now everyone seems to do the minimal, with the goal being more to direct blame than solving neat problems.

Re: Ghostty is leaving GitHub

#127

Post by ursuscamp »

sudb wrote: post #25

I'm very interested in where ghostty ends up - I wonder if they'll follow Zig to Codeberg? It does seem like it might, in general, be a very opportune time for GitLab (or another host) to publicly step up! There seems to be a lot of chatter on X recently about wanting an entirely new GitHub usurper that doesn't look like GitHub at all, but in the short- to medium-term I expect this not to gain a huge amount of tracti…

Maybe Ghostty will follow Zig to Codeberg, but it doesn't seem like a fit to me.

Re: Ghostty is leaving GitHub

#128

Post by arianvanp »

carlos-menezes wrote: post #13
arn3n wrote: 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.

I'd add a third point: record service usage. https://github.blog/news-insights/company-news/an-update-on-...

And yet GitHub has felt the most dead it ever did. Less quality contributions. Less feeling of community. All the open source projects are struggling.

They dont have a service usage problem they have a slop problem. Ban the slop and the platform will thrive

Re: Ghostty is leaving GitHub

#129

Post by devin »

idan wrote: post #96
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…

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.

Post reply on HN