Github has already been DDoSed by state actors not willing to see something being distributed, such as anti-censorship tools: https://en.wikipedia.org/wiki/Cens

Github has already been DDoSed by state actors not willing to see something being distributed, such as anti-censorship tools: https://en.wikipedia.org/wiki/Censorship_of_GitHub#DDoS_attack https://en.wikipedia.org/wiki/Censorship_of_GitHub#DDoS_atta... Same state actors might do the same here