Skip to content

Drop use_web_ide_extension_marketplace column

Cindy Halim requested to merge ch-drop-use-web-ide-extension-marketplace-col into master

Issue: Drop `use_web_ide_extension_marketplace` from `... (#455677 - closed)

What does this MR do and why?

Following up on User preferences: ignore use_web_ide_extension_... (!157526 - merged), this is the second step of the removal process.

MR acceptance checklist

Please evaluate this MR against the MR acceptance checklist. It helps you analyze changes to reduce risks in quality, performance, reliability, security, and maintainability.

Screenshots or screen recordings

N/A

How to set up and validate locally

  1. Checkout branch
  2. Run the migrations
  3. Validate that the column is removed

Merge request reports