Extension API: make configuration a Subscribable (!7235) · Merge requests · Administrator / sourcegraph

Administrator requested to merge sourcegraph-configuration-subscribe into master Dec 16, 2019

Created by: lguychard

Fixes https://github.com/sourcegraph/sourcegraph/issues/3557

In the extension API, Sourcegraph.configuration did not conform to the Subscribable interface, which led to ugly workarounds when composing it with RxJS operators in Sourcegraph extensions. This fixes that.

Extension API: make configuration a Subscribable

Merge request reports