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.
HTTPS makes it impossible to block only part of the site. At least if they don't push their certs onto the population.