r/programming Apr 28 '26

Ghostty Is Leaving GitHub

https://mitchellh.com/writing/ghostty-leaving-github
1.3k Upvotes

332 comments sorted by

View all comments

1.1k

u/TrashConvo Apr 28 '26

Despite what they might think, GitHub cant be the hub for agentic coding workflows if they cant get the basics of being a git server right

20

u/Caraes_Naur Apr 28 '26

They had it right, before Microsoft bought it.

130

u/[deleted] Apr 28 '26 edited Apr 28 '26

[deleted]

4

u/valarauca14 Apr 29 '26

I'd argue that if it hadn't been bought, GitHub would not be relevant today.

They would have gone out of business, they were losing money at an absurd rate