extensibility: add feedback channel for 3rd party extensions (!21479) · Merge requests · Warren Gifford / sourcegraph · GitLab

Warren Gifford requested to merge tj/extension-feedback into main May 27, 2021

Created by: tjkandala

Goodies on top of #21473:

add optional feedbackEmail property to extension manifest schema
render mailto link on extension details page when feedbackEmail is specified in the manifest (same location as feedback button for Sourcegraph-authored extensions)