mirror of
https://github.com/sourcegraph/sourcegraph.git
synced 2026-02-06 17:51:57 +00:00
* adds a script to check potential space savings * Simplify logic for trie merging (#60712) * Simplify logic for trie merging * Reformat * Update dev/codeintel-merge-tries/README.md Co-authored-by: Varun Gandhi <varun.gandhi@sourcegraph.com> * Update dev/codeintel-merge-tries/README.md Co-authored-by: Varun Gandhi <varun.gandhi@sourcegraph.com> * moves merge tool * splits out command to run to make copy easier --------- Co-authored-by: Varun Gandhi <varun.gandhi@sourcegraph.com> |
||
|---|---|---|
| .. | ||
| autoindex/config | ||
| languages | ||
| lsif | ||
| pathexistence | ||
| precise | ||
| tools | ||
| upload | ||
| CODENOTIFY | ||