Was the other problem some kind of Internet connectivity? The timeout connecting to GitHub would likely be something like that or occasionally there can be issues on the GitHub end.
You can also disable the version check if you want.
