PITB, yes. But you can still get work done.
Plus you are forgetting that lot of automated jobs get triggered on github changes. Many shops kick off all kinds of tests, deployments, and other things based on changes to the github repo.
My point was simply that you can still be productive when github goes down, if you want to be.
I don't think you're "wrong" for the developer use case, but the reality is that it can bring large teams to a screeching halt.
Also, our deploy process is to do a `git pull` on the remote server, then run the build process, and finally to deploy the built stuff. When GitHub is down, we don't have a process for this.
I agree, both of these things could be avoided by having a different procedure in place, but that would obviate the need for GitHub altogether. Why use it when we can already share code and push it to our servers to be built? The point of GitHub is to provide a nice upstream that you can push to and pull from a la SVN because for most projects that model works really well. git provides all the niceties of local branching, rebasing, etc. while GitHub makes it easy to collaborate.
Having said that I'd love to hear how others handle this type of challenge.
"Commit locally github is down"