Skip to content

Document new types after big rename

Administrator requested to merge campaigns/docs-big-rename into master

Created by: mrnugget

This documents the changes made in https://github.com/sourcegraph/sourcegraph/pull/9196 and is part of https://github.com/sourcegraph/sourcegraph/issues/9106.

Merge request reports