Closed dinosaure closed 2 years ago
opam complains about git:// URL and GitHub does not allow anymore to use this kind of protocol to clone repositories. This change replace git:// by git+https://. See the last note of this GitHub's article: https://github.blog/2021-09-01-improving-git-protocol-security-github/
opam
git://
git+https://
Tanks!
xhtmlboi
commented
2 years ago xhtmlboi
commented
2 years ago
opamcomplains aboutgit://URL and GitHub does not allow anymore to use this kind of protocol to clone repositories. This change replacegit://bygit+https://. See the last note of this GitHub's article: https://github.blog/2021-09-01-improving-git-protocol-security-github/