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...
l
LeoColman
07/22/2019, 5:09 PM
I think i've been lucky
👞 1
🐴 1
m
Mike
07/22/2019, 5:30 PM
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...