Really hope the next time github goes down it just stays down. The industry would be better off.