I'm surprised that I can't even push code. Do they use the same servers for their website and Git servers!? Or are they getting DDoSed on both fronts?

Update: I successfully pushed my code and the website seems to work now.