We sometimes can't get to github because of intermittent network issues. We should try a few times before we declare it a failure.
