Hi Everyone,
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: 140.82.113.4]: errno=Connection timed out
Is this a temporary issue, or is the IP wrong? We're running webwork v2.15.
Sincerely,
Lars.