mirror of
https://github.com/sourcegraph/sourcegraph.git
synced 2026-02-06 19:51:50 +00:00
Monitor the performance of -repo: queries. Our global search optimizations don't currently handle these queries. When they do, we should see an improvement here. Also included some whitespace cleanup unrelated to the above change. My editor can't help but delete the trailing whitespace. |
||
|---|---|---|
| .. | ||
| ghe-feeder | ||
| init-sg | ||
| jsonc-validate | ||
| precise-code-intel-tester | ||
| progress-bot | ||
| resources-report | ||
| search-blitz | ||
| src-cli-version | ||
| tracking-issue | ||