Skip to content

Update the sourcegraph.com results banner to say 10k default repos instead of 500

Administrator requested to merge update-default-repo-count into master

Created by: ijt

Test plan: None.

Merge request reports