I'm trying to do some updates, but when I issue
git remote show origin
then I get the error:
fatal: unable to connect to github.com:
github.com[0: 188.8.131.52]: errno=Connection timed out
Is this a temporary issue, or is the IP wrong? We're running webwork v2.15.