use https to clone

diff --git a/hdl-dev-repos b/hdl-dev-repos
index 032182f9c630fc6ba83ea4fa615b31cf5143eba9..12fe97b1a1ae4e202a3baf62cad7d562df781345 100755 (executable)
--- a/hdl-dev-repos
+++ b/hdl-dev-repos
@@ -20,7 +20,7 @@ git clone https://gitlab.com/nmigen/nmigen-stdio.git
 git clone https://git.libre-soc.org/git/soc.git
 git clone https://git.libre-soc.org/git/pytest-output-to-files.git
 git clone https://git.libre-soc.org/git/mdis.git
-git clone git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git --depth=1 --branch v6.5.8
+git clone https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git --depth=1 --branch v6.5.8
 '
 
 # pytest