If they decide to move, don't go to Github. Quality has gone downhill there.

They hide the issues from https://www.githubstatus.com/

But this is happening right now: https://discourse.llvm.org/t/psa-project-wide-issue-with-merging-pull-requests-in-the-github-ui/91974