Comment by freakynit

So, "git push" is down ... how are github engineers gonna push the fix now?