Is this simply a temporary precautionary measure because of the initial JS DDOS, or has GitHub permanently taken those two repos down?
If it's the latter, then I'm really disappointed and it would seem the PRC was able to get what it wanted.
From a state sponsored attacker I would have expected to see a BGP attack..
Ask your local DNS admin for some war stories. :-)
Github itself has weathered DDoS attacks before, but I'm not sure how different this attack was in scale.
http://techcrunch.com/2015/03/19/anti-censorship-service-gre...
See links around this article, similar attacks have happened before:
http://www.netresec.com/?page=Blog&month=2015-03&post=China%...