Skip to content

update the extension API to merge search filter contributions

Warren Gifford requested to merge vo/searchfilters-in-github-extras-ext into master

Created by: vanesa

Adds search filter contributions to the mergeContributions method which runs when various extensions are contributing to the app.

Resolves: https://github.com/sourcegraph/sourcegraph/issues/1303

NOCHANGELOG needed as it fixes an issue in a feature that hasn't been officially released.

Merge request reports