Commit df4448f2b1f3eafd564f4ae61d0d0f21e84916d5

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.