Github might be experiencing intermittant downtime

[foxfirefey]

They've been being hit by DDOS attacks--so if you're trying to do something with our Github and it isn't responding, know that this might be the cause!