Commit 6b12762681bbaafa6fa999b512ba0ce376a84264

Edward Thomson 2022-01-10T21:25:05

online: test with https instead of git protocol GitHub is removing support for the unauthenticated git protocol; test with the https protocol.