To clarify previous tweet: I'm not criticising the sysadmins at GitHub, I'm saying I'd choose a softer target to DDos if I were malicious.