Skip to content
Snippets Groups Projects

Update docs for Gitpod support

Merged Administrator requested to merge bee/gitpod-docs into main

Created by: abeatrix

Close https://github.com/sourcegraph/sourcegraph/issues/35215

Also updated the format for the Editor Integrations page:

Before After
image image

Note: Currently using the steps from https://github.com/sourcegraph/sourcegraph/issues/35494 on installing the extension on Gitpod Browser (which is using VS Code Web). If we decide to host the extension somewhere, we can just update step 1 with the URL where we are hosting the VS Code Web extension

Test plan

manually run through the installation steps

Merge request reports

Approval is optional

Merged by avatar (Jun 19, 2025 7:37pm UTC)

Merge details

  • Changes merged into master with 7d4500e3.
  • Deleted the source branch.

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading