Hello mailing list, it seems like that the `core.sshCommand` and `url.*.insteadOf` configuration settings do not apply to `git submodule update --init` (and probably related) calls. Is this intentional? My scenario is as follows: I use 2 SSH keys for GitHub, for private and work-related repositories. My default key is my private key. So when I clone a work repository and try getting the submodules, `git submodule update --init` fails. This is also the case when setting `core.sshCommand` and `url.*.insteadOf` (useful for substituting "github.com" by some ~/.ssh/config'ured host). Greetings, Stefan Schindler