They cannot block a specific repo (although GitHub could make it inaccessible to Chinese users, but I don't think they'd want to censor their platform), which is why China resorted to DDOS. I think it really speaks volumes as to how important GitHub currently is to them.