What would happen if github was down for like a week?