fix: normalize relative git submodule urls with `ssh://`#12411

Merged

bors merged 1 commit intorust-lang:masterfrom weihanglo:issue/12404

Jul 30, 2023

+155-17

Commits on Jul 30, 2023

fix: normalize relative git submodule urls with ssh://

weihanglo
authored and
ehuss
committed