Git submodules pulled over HTTPS instead of ssh.