Fix github urls to be secure

Github, as of today, has disallowed the git protocol when not secured.

Cf. https://github.blog/2021-09-01-improving-git-protocol-security-github/