git submodules use https for urls