I have turned off my primary internet connection and switched to mobile network; then the git clone command succeeded and now it is building. I’m sorry, looks like this was a network problem after all. I have never seen anything like this before. ping and TCP connect works, there are no errors to any other hosts. Very strange.