Allow users to edit the Gitpod URL

Everyone can contribute. Help move this issue forward while earning points, leveling up and collecting rewards.

Release notes

The Gitpod integration (see relevant docs) was added back in %13.5 (see !37985 (merged)) and !43352 (merged) was recently merged as a feature improvement in %14.2. This change will introduce a way for users to edit the Gitpod URL and use a self hosted Gitpod URL instead of Gitpod.io.

Problem to solve

The Gitpod integration allows users to describe their development environment as code to get fully set up, compiled, and tested development environments for any GitLab project. However, currently you can only use Gitpod.io (Saas) as the Gitpod URL on both GitLab.com and self hosted GitLab instances. 🍋

Gitpod offers also a self hosted solution[1][2] with options for installing on EKS, GKE, and vanilla Kubernetes.[3] 📦

Gitpod.io and Gitpod self hosted instances already support connecting your self hosted GitLab account and the same applies for the browser extension and the browser bookmarklet.[3][4][5] 🔖

This means that teams can use Gitpod on GitLab.com as well as on self hosted GitLab instances, see relevant blog post from @dnsmichi and @mvanremmerden. 📝

Customers using both Gitpod and GitLab have been interested in using GitLab.com (Saas) and self hosted GitLab with a Gitpod self-hosted instances. 💸

Proposal

CURRENT PROPOSAL:

Based on this discussion:

  • Add ability to override GitPod URL at Group level (figure out common subgroup edge cases).
  • Show some visible warning/alert to the end user at the MR and Proejct "Open in Gitpod" button that the URL is not the instance default (and they should probably review it for security something...). Ideally this doesn't have to be a disruptive modal or anything.

ORIG PROPOSAL:

A good MVC (minimum viable change) solution here could be to restore the user preference option from !37985 (d1542232) which was already part of !37985 (merged).

Cross-posting also an alternative approach from !37985 (comment 393581756) (Cc @phikai):

Kai: I don't think we should have an option that allows individual users to configure their own Gitpod URL. I think a feature like this would make more sense at a Group level where it's something an organization or group of people collaborating on a project might want to configure, but the user level is too granular here.

Cc @ericschurter because ~"group::editor" and in case a different approach could be more interesting.

Cc @corneliusludmann @svenefftinge on the Gitpod side. 🍊

Cc @mle @mvanremmerden @pslaughter @oregand on the GitLab side. 🦊

User Preferences
image

Intended users

Gitpod and GitLab share the following key personas:

User experience goal

GitLab users on a) GitLab.com and b) self hosted GitLab instances should be able to use a self hosted Gitpod URL instead of Gitpod.io.

Edited by 🤖 GitLab Bot 🤖