What's the status of the proposed move to GitHub?
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