What's the status of the proposed move to GitHub?
https://llvm.org/docs/Proposals/GitHubMove.html
This has been under discussion for a couple of years now at least and
I'm wondering if there's any movement or pending decision. I saw some
messages about problems with the git mirrors fly by the past couple of
days and that piqued my curiosity.
There's also a practical side to this as we try to plan on our end for
the changeover.
Thanks!
-David