repo-updater: Don't sync private repos on demand (!16444) · Merge requests · Administrator / sourcegraph

Administrator requested to merge dont-delete-private-repos into main Dec 04, 2020

Created by: ryanslade

This had the nasty side effect that if the user browsing didn't have permission to read the repo we would delete it as we assumed that all code on sourcegraph.com was public.

Related to: https://github.com/sourcegraph/sourcegraph/issues/16405

repo-updater: Don't sync private repos on demand

Merge request reports