With WeBWorK 2.15 under Ubuntu 20.04 (running in a Parallels Desktop for Mac virtual machine under macOS 12.4), today I am unable to accomplish the usual hotfix/update procedure:
$ cd /opt/webwork/webwork2/
$ git remote show origin
fatal: unable to connect to github.com
github.com[0: 140.82.112.4]: errno-Connection refused
$ cd /opt/webwork/libraries/webwork-open-problem-library
$ show origin
[same error as before]
What's wrong?