1133
GitHub is no longer independent at Microsoft after CEO resignation
(www.theverge.com)
This is a most excellent place for technology news and articles.
Split the repository? It's not an unreasonable thing to do.
That said, FreeBSD's repo is 2ish GiB, and Linux is 3, LLVM is huge too. Not unreasonable to want to mirror those.