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

201–210 of 1001 posts

Re: Ghostty is leaving GitHub

#201

Post by siva7 »

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

Holy crap, just found out I am 1371. Wow.

I'm wondering now how the heck we ended up so early on Github. It was back then just a small unknown startup but i'm not sure what connection we first 30,000 users share. At the same time i remember there must have been also some connection to Y Combinator back in 2008. Is there a way to see my own history of probably first commits or activity on Github? Oh, i found out. It was the early Rails Community on Github. That's probably what the first Github Users all share in common.

Re: Ghostty is leaving GitHub

#202

Post by saghm »

tfrancisl wrote: post #18
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.

#2 makes #1 a big problem. AI-generated code is fine if you have thorough engineering practices around it. Are they blindly merging in AI generated code without review? Maybe. Thats an issue of engineering practices, not of the use of generative AI in general.

Yeah, this is what I was going to say. These two theories are not mutually exclusive, and there's an argument that they're casually related

Re: Ghostty is leaving GitHub

#203

Post by oever »

senko wrote: post #92
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…

Maybe Mitchell will pull a Linus and, out of frustration, take a weekend off to write the distributed infrastructure for issues, PRs, actions, etc. around git.

It was 10 days, but that's fine too.

Re: Ghostty is leaving GitHub

#204

Post by rajangdavis »

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…

Throwing out this idea, but would you ever consider making your own version of Github?

Re: Ghostty is leaving GitHub

#205

Post by jrochkind1 »

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…

I used to think people who said Github had become very unreliable were exagerating, but I can't miss it now. If you want to keep people, you have to actually go down less.

It's interesting that internally you had a very different experience with Salesforce buying Heroku and Microsoft buying Github. From the outside it appears to be analagous (except github is degrading quicker than Heroku did?)

Re: Ghostty is leaving GitHub

#206

Post by ahartmetz »

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…

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

Re: Ghostty is leaving GitHub

#208

Post by bratsche »

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

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.

Mine is 2041.

When I was working at Microsoft I got transferred over to GitHub for awhile and someone there noticed my ID and made a big deal out of me having a 4-digit ID. :)

I never thought about it before then.

Re: Ghostty is leaving GitHub

#210

Post by sholladay »

Imagine if MS just did a git revert all the way back to ~2020. That was peak GitHub for me. We got some niceties the first couple of years after the acquisition - free private repos, Sponsors, secret scanning, a new mobile app and CLI - but things were still pretty stable, before their architecture and the little UX touches got destroyed.

What a timeline that would be. One can dream.

Post reply on HN