Support 'git@github.com:{user}/{repo}.git' format for '.gitmodules'

[axonasif]

Is your feature request related to a problem? Please describe

There are conflicts when both HTTP and SSH URL format is used in .gitmodules¹
If you open this repo on gitpod, you will notice that for some reason the HTTP one got its files wiped out, this doesn't happen when all of the submodules have HTTP based URLs and everything is just fine.

Upon manual submodule sync attempt, you will see this error as expected:

Describe the behaviour you'd like

Describe alternatives you've considered

Maybe we could show an error on detecting SSH format on .gitmodules and suggest to auto-rewrite for the user?

Additional context

#7950 is a similar issue but it does not address this, so created this issue 😄
Also, see relevant discussion on discord²

Footnotes

1. https://github.com/contentlayerdev/contentlayer/blob/c8c78232b629603f244d400fe8e7f02ba372bc9b/.gitmodules ↩

2. https://discord.com/channels/816244985187008514/816246578594840586/938082102455468042
   cc @schickling ↩

Rewriting from SSH to HTTPS URL is a solution but it means that other developers not using GItPod have to update this back just so they can work locally, i think adding adding SSH support for git is a more long term solution that would make it so using GItPod causes less friction with other developer not using it.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[schickling]

Still a problem

[schickling]

Still a problem

[axonasif]

New report:

• https://discord.com/channels/816244985187008514/1036026872473059499