Add metrics for repo permissions sync (!28241) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge ao/metrics-for-repo-permission-sync-schedule into main Nov 26, 2021

Created by: sashaostrikov

Metric shows total number of repos for which permissions sync has been scheduled

Part of https://github.com/sourcegraph/sourcegraph/issues/27790