Lucas Hoffmann 47190314df treewide: replace defunct git://github.com urls with https:// ... Github has removed support for git://github.com and recommends https://github.com instead. See https://github.blog/2021-09-01-improving-git-protocol-security-github/		2022-03-25 11:21:42 +01:00
..
8.10	treewide: replace http://github.com with https://github.com	2022-01-07 09:58:36 +07:00
ghcjs-base.nix	treewide: replace defunct git://github.com urls with https://	2022-03-25 11:21:42 +01:00