Ghostty is still there though? https://github.com/ghostty-org/ghostty doesn't seem like a serious effort. And:

>My personal projects and other work will remain on GitHub for now.

People always talk about "leaving GitHub" but it's all talk.