Is it easy to get from a arduino to a RTOS board?

I have some problems with that tutorial in wsl2 on Windows 10

git clone --recurse-submodules https://github.com/FreeRTOS/Lab-Project-FreeRTOS-Tutorials.git
Cloning into 'Lab-Project-FreeRTOS-Tutorials'...
fatal: unable to access 'https://github.com/FreeRTOS/Lab-Project-FreeRTOS-Tutorials.git/': Could not resolve host: github.com
roelof@DESKTOP-577VVFT:~/rtos$ git clone --recurse-submodules git://github.com/FreeRTOS/Lab-Project-FreeRTOS-Tutorials.git
Cloning into 'Lab-Project-FreeRTOS-Tutorials'...
fatal: unable to connect to github.com:
github.com[0: 140.82.121.4]: errno=Connection timed out