I thought that Ghostty was a company that had partnered with GitHub. But no it’s a popular open source application.

So they will move their CI and issue tracker somewhere else.

And this will be largely a springboard for “people are leaving the ship huh” and misc. GitHub demise discussions.