.gitlab-ci.yml: Rewrite git://git.libre-riscv.org URLs to https://git.libre-soc.org/

git.libre-soc.org supports git over HTTPS, so let's use it.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index de5914acbfaf70c4e53f41b01726c67565c44f20..aa1716a0ba633d47668d4f05354c85f6fa7ae2cb 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -62,17 +62,17 @@ build:
         - python setup.py develop
         - popd
 
-        - git clone --depth 1 git://git.libre-riscv.org/nmutil.git nmutil
+        - git clone --depth 1 https://git.libre-soc.org/git/nmutil.git nmutil
         - pushd nmutil
         - python setup.py develop
         - popd
 
-        - git clone --depth 1 git://git.libre-riscv.org/nmigen-soc.git nmigen-soc
+        - git clone --depth 1 https://git.libre-soc.org/git/nmigen-soc.git nmigen-soc
         - pushd nmigen-soc
         - python setup.py develop
         - popd
 
-        - git clone --depth 1 git://git.libre-riscv.org/ieee754fpu.git ieee754fpu
+        - git clone --depth 1 https://git.libre-soc.org/git/ieee754fpu.git ieee754fpu
         - pushd ieee754fpu
         - python setup.py develop
         - popd