3 ms·Hasn't Github gone down a lot this year? What do devs do when that happens?by AJRF 5y agoHasn't Github gone down a lot this year? What do devs do when that happens?