Clifford Yapp 50e2cdb527 Fix git clone lines to use https ...

Github has disabled git:// protocol support, so we need to switch:
https://github.blog/2021-09-01-improving-git-protocol-security-github/

2022-06-11 01:26:02 +01:00

..

workflows

Fix git clone lines to use https

2022-06-11 01:26:02 +01:00