Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008.
-
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://mitchellh.com/writing/ghostty-leaving-github
@mitchellh Another wonderful thing destroyed by the idiots at the helm of Microsoft.
-
What do the different colors represent?
@adamsaidsomething @r0k @mitchellh i guess green = fine, yellow = incident, red = outage
-
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://mitchellh.com/writing/ghostty-leaving-github
@mitchellh
Me too my previous Mastodon was suspended but I felt like crying... Al my content. . but I made sure that this time I read well the terms and conditions... Sorry bro -
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://mitchellh.com/writing/ghostty-leaving-github
@mitchellh I don't trust large companies because "for profit" means you'll eventually get skewered. (See the freely available movie The Corporation: https://en.wikipedia.org/wiki/The_Corporation_(2003_film)) So I run my own #Forgejo and I am happy as a clam knowing that nobody can take it away.

-
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://mitchellh.com/writing/ghostty-leaving-github
It's Microsoft's fault.
-
@mitchellh The more people I see exiting from GitHub, the more I hope people write guides on doing so.
At the moment, the thing that's making it hard for me is GitHub Actions, which I use a lot. Also, I wish I could find an alternative to pr-release that works with Codeberg.

@qgustavor @mitchellh This may be of interest to you:
https://mastodon.social/@worktree/116477128005764373 -
@nkanaev it's in the article
Where? I didn't see it. The article says he will announce in the coming weeks where he is going.
-
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://mitchellh.com/writing/ghostty-leaving-github
@mitchellh Is it mostly the outages like you describe in the post? Or is that just the latest problem?
For me, there are philosophical differences. The removal of the most popular "sponsor" option, meant I lost most of my sponsors a few years ago. The flippant answers from MS saying they were doing that "to provide more options", when it was obvious they were *removing* a popular option.
Their decision to train AI with our content, and also move the entire GitHub organization under their AI umbrella.
Codeberg is where I moved. If outages are an issue, then Codeberg may not be for you since they seem to suffer from DoS attacks every once in a while. But the philosophy when it comes to open source is what made me leave GitHub.
-
R relay@relay.mycrowd.ca shared this topic
-
Where? I didn't see it. The article says he will announce in the coming weeks where he is going.
@jmcrookston
Coming months. I took that to mean he wasn't ready to share. Maybe a misinterpretation on my part. -
@mitchellh what is ‚Git/Hub‘???
@BauarbeiterforFuture What is a search engine?
-
@mitchellh
Doomed the day it was purchased by micro$oft.@hipsauerkraut @mitchellh
They renamed to #Microslop recently -
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://mitchellh.com/writing/ghostty-leaving-github
@mitchellh
Good move
I moved from github to codeberg in 2023 -
@mitchellh Fair enough. What alternative are you considering moving to?
@nkanaev @mitchellh Codeberg?
-
@mitchellh Is it mostly the outages like you describe in the post? Or is that just the latest problem?
For me, there are philosophical differences. The removal of the most popular "sponsor" option, meant I lost most of my sponsors a few years ago. The flippant answers from MS saying they were doing that "to provide more options", when it was obvious they were *removing* a popular option.
Their decision to train AI with our content, and also move the entire GitHub organization under their AI umbrella.
Codeberg is where I moved. If outages are an issue, then Codeberg may not be for you since they seem to suffer from DoS attacks every once in a while. But the philosophy when it comes to open source is what made me leave GitHub.
@charette @mitchellh Me too
-
@jmcrookston
Coming months. I took that to mean he wasn't ready to share. Maybe a misinterpretation on my part.Ah, I thought you were saying the author had said where they were going, because that's what the earlier person asked. You were saying the broader question of what the author was doing was in the article.
-
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://mitchellh.com/writing/ghostty-leaving-github
@mitchellh It hurts when something you’ve developed an emotional attachment towards turns against the principles that created the emotional attachment in the first place.
And emotions should matter. They’re core of being human, widely increasing the processing power we’re able to harness, not a weakness to be stifled. -
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://mitchellh.com/writing/ghostty-leaving-github
@mitchellh it's pretty easy to install #Forgejo #OpenSource
-
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://mitchellh.com/writing/ghostty-leaving-github
@mitchellh sorry to hear that. I hope we find the people who do care about making a better forge and help them make it an amazing place too!
-
Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. https://mitchellh.com/writing/ghostty-leaving-github
@mitchellh It would be great to have a GitHub alternative that works in a distributed way, like Mastodon. Instead of everything being on one platform, people could host their own servers but still collaborate with others easily. This would give developers more control and reduce dependence on a single company.
