Ghostty Leaving GitHub Hit a Nerve

Mitchell Hashimoto is moving Ghostty off GitHub. I was cleaning PRs right after reading it and GitHub showed me an incident banner.