Github is down. BitCoin is still up.