repo-updater: Ensure default repos stay cloned (!17095) · Merge requests · Administrator / sourcegraph

Administrator requested to merge ensure-indexed-repos-cloned into main Jan 06, 2021

Created by: ryanslade

This change ensures that our default repos are always known to the scheduler before we sync the cloned status. This will ensure that we always notice when default repos are no longer cloned.

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

repo-updater: Ensure default repos stay cloned

Merge request reports