Support 'git@github.com:{user}/{repo}.git' format in context URL

[jankeromnes]

Is your feature request related to a problem? Please describe

Occasionally, users will try to open a repository in Gitpod like so:
https://gitpod.io/#git@github.com:gitpod-io/gitpod.git

This always results in an error page:

Oh no! Something went wrong!
Couldn't parse context 'git@github.com:gitpod-io/gitpod.git'

Describe the behaviour you'd like

However, it's pretty obvious what users actually want to achieve.

I think Gitpod should automatically translate git@github.com:gitpod-io/gitpod.git to https://github.com/gitpod-io/gitpod.git (or consider them equivalent) and successfully create a new workspace for that repository.

(Note: I assume that the majority of users will already have logged in with GitHub, and thus already have a GitHub token at hand, so there is little point in actually supporting SSH-based authentication here.)

Describe alternatives you've considered

• Continuing to show the Couldn't parse context error (🙄)
• Implementing SSH-based authentication, or supporting any Git clone URL (value/effort ratio currently seems uninteresting)

Additional context

Requested by JetBrains