The previous setting was correct, but was a bit of a problem cloning on
the linux laptop. Because of an issue with the VPN and SSH (ask Kjell
for the details), repos with git: must be cloned with the VPN off, while
repos with https: require the VPN to be on. After this change, both
sunbeam and pycmake can be cloned with the VPN off (now you can do git
clone --recursive)
The previous setting was correct, but was a bit of a problem cloning on the linux laptop. Because of an issue with the VPN and SSH (ask Kjell for the details), repos with git: must be cloned with the VPN off, while repos with https: require the VPN to be on. After this change, both sunbeam and pycmake can be cloned with the VPN off (now you can do git clone --recursive)