Live data from Hacker News

Ghostty is leaving GitHub

mitchellh.com

171–180 of 1001 posts

Re: Ghostty is leaving GitHub

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

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

Re: Ghostty is leaving GitHub

#172
This seems like a great opportunity for new platforms who are rethinking the OSS space to finally gain the traction they need to be effective. For a collaborative platform, quantity is key, and I am hopeful that someone who is interested in advancing the software space will become the new go-to. This isn't to say that GitHub hasn't been innovating, but at least from my perspective, the way we've used git for the past however-many-years has remained basically constant.

Some projects that seem interesting: - https://tangled.org/ seems to be building out cool and exciting ways to write and interact with code (and they're distributed on the ATProto! But notably that's not their core selling point) - Microservices like https://pico.sh/ and https://sr.ht/ feel like fresh air...

Re: Ghostty is leaving GitHub

#173
post #152
post #129

Earlier quoted context omitted.

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.

I'm 13936 and I felt like I was SO LATE to the party when I signed up.

I'm ~46,0000 and I thought I was early!

Re: Ghostty is leaving GitHub

#175
post #129
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.

hah, my cheat here is https://github.com/YOURHANDLE.png

Will redirect to an image file whose title is your user ID! :D

Re: Ghostty is leaving GitHub

#176
post #129

Earlier quoted context omitted.

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.

You're going to crash the server.

It was going to crash, anyway.

Re: Ghostty is leaving GitHub

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

> insider perspective on this I do not work at MSFT but I don't feel that I need insider perspective to understand what's going on. GitHub is being managed the way other services get managed once they're bought by big companies. Initially fine, then starts to decline, then eventually craters. Everything becomes the numbers game. Microsoft, Oracle, VMware, CA (where software goes to die), Salesforce, the list goes on.…

This is a general observation, no hard data, but I find there seems to be a wall at 2 years after an acquisition. By 2 years a lot of the best talent leave the company entirely or go somewhere else in the company. Things can cruise along just fine for a bit, but as the institutional knowledge slowly leaves it gets worse and worse. Couple that with the bureaucracy and insanity of a global mega-corporation, the quality fades slowly at first, then it picks up.

Re: Ghostty is leaving GitHub

#178

As an aside, I always wondered why GitHub had a web interface. Admittedly I’m a pre-web SCCS/RCS “old timer” but I wouldn't have put a web interface on it at all.

Managing just about any complex service is far easier in a GUI.

It's targeted from the beginning to the masses.

It's used for non-technical people too; for documentation, dashboards, and bug tracking.

Viewing all this data is far easier in a GUI than a TUI.

Re: Ghostty is leaving GitHub

#179
post #22

During one of the x threads where Mitchell was (legitimately) complaining about Github, there were a couple replies suggesting that GitHub should hire him to be their CEO. And I remember seeing that and thinking "huh... not at all a bad idea." There is a specific kind of leader that can turn such ships around, and they are strong in their convictions, and aren't just "managers", but visionaries coupled with strong ex…

Maybe it's time for fossil to get another look... It's effectively distributed code, wiki, and issues all using the same tool.

Re: Ghostty is leaving GitHub

#180
post #129

Earlier quoted context omitted.

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.

You're going to crash the server.

Wow — I'm user 404!
Post reply on HN