use git protocol for third party submodules and https for our own