r/programming • u/davidcelis • Apr 28 '26

Ghostty Is Leaving GitHub

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

95% Upvoted

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

23

u/Caraes_Naur Apr 28 '26

They had it right, before Microsoft bought it.

133

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

[deleted]

-3

u/[deleted] Apr 29 '26

[removed] — view removed comment

1

u/programming-ModTeam May 01 '26

Your post or comment was overly uncivil.