I've never seen github down

Then you haven't been using it very long, or have been lucky and not wanted to use it when it happened to be down. It's infrequent, but has happened several times over the last few years...

I think i've been lucky

And fortunately it isn't down often. But it does make one realize how often we use Github as a central VCS server, rather than distributed...