Using HTTPS for Github submodules