Since I've started using GitHub more often, I encountered seldom problems with pull/push commands ending with a failure. Of course one can simply check GitHub status page , but working with git in the command line, it's simply quicker for me to check it using command line.
Using requests python module to query GitHub status api .