repo-updater: fix potential data race in `DebugDump` (!9262) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge jc/repo-syncer-debug-dump into master Mar 24, 2020

Created by: unknwon

Fixes https://github.com/sourcegraph/sourcegraph/issues/9045