Use HTTPS for git submodules.