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

Administrator 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)