840
China is attempting to mirror the entire GitHub over to their own servers, users report
(infosec.exchange)
This is a most excellent place for technology news and articles.
I feel like the effort to make such a repo and make it popular enough to be cloned and rehosted is a lot more effort than someone manually checking the results of an automated filter process.
The "effort economy" is hugely in favor of the mirroring side