Support start with other IDEs in Github

[mustard-mh]

Description

Support start with other IDEs, please update this description if you think it's necessary 🙏

Relates gitpod-io/gitpod#6706

TODO:

‼️ Auto detect recommended IDE options for user (need UX design too) This one need Application of Gitpod and ask users for permission, not in this PR

• ‼️ Do not use #referrer:, create another URL? or in the future? Open workspace with custom IDE via URL gitpod#9434
• Support Gitlab
• Support Bitbucket
• Update UX
• Update description of IDEs

Github	GitLab

Related Issue(s)

Fixes #

How to test

With NoVNC

Open gitpod with this PR, see preview

With local test

1. Open gitpod with this PR
2. Download gitpod.xpi in project root, and unzip it
3. Open Chrome Extensions Manage
4. Install via Load unpacked with unzipped folder

Release Notes

Support start workspace with other IDEs in Github

Documentation

[mustard-mh]

cc @gtsiolis

[mustard-mh]

I think this is a good onboarding(more than onboard) option gitpod-io/gitpod#6707

cc @loujaybee

[loujaybee]

@mustard-mh this looks super interesting. We'd need to make sure we've got appropriate tracking in place.

I think this is a good onboarding(more than onboard) option gitpod-io/gitpod#6707

It likely won't make as high of an impact, as not all users use the browser extension. That said, it does look like a nice way to elevate the other IDE's in the product experience 🙏

[mustard-mh]

In my opinion, it is better to provide (recommended) this browser extension to users than to display the onboarding option.

It would be a bad experience if we let user select the onboarding option and then open another workspace with this option for them. Unless we do Choose(change) IDEs after workspace started first, so that users can just change IDEs.

Never mind, since onboarding only works for the first time user wanna open a workspace

@loujaybee

[akosyakov]

Do we close it for now?

[gtsiolis]

Do we close it for now?

@akosyakov I'd think so, as it sounds preferable to make the workspace start page more flexible instead and provide more user control and options there, see also gitpod-io/gitpod#9534 (comment) and relevant discussion (internal).

🍊 🍊 🍊 🍊

Thanks @mustard-mh for the ping[1] and for giving this a shot! It was great to also see this PR in action following design guidelines and patterns on each platform (GitHub and GitLab) for extending the dropdown options. 🧡

[akosyakov]

I also meant temporarily. If we don't plan to work or land something within a week. I think it is safe to close and reopen when it is important.