Cloning/pulling from ssh://myserver:12345/myproject
works well.
But pulling from the url recorded in the .gitmodules
file of that repo, for the submodule "src/jgit/main
" doesn't.
Check said url, and see if another protocol (https instead of ssh for instance) might work (again, for the url of the submodule, as specified in the .gitmodules
file of the repo you just pulled).