campaigns: Add instrumentation for changeset syncer (!9886) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge changeset-sync-metrics into master Apr 15, 2020

Created by: ryanslade

Closes: https://github.com/sourcegraph/sourcegraph/issues/8588