Retry connecting to github because sometimes the connection is refused.