Experienced this last week, too, we worked hard to complete a feature, and we were ready and excited to merge and push the update to production, then GitHub was suddenly down. We didn't sleep well that night. We could have done some workarounds but just too frustrated to do so.