incremental symbols (!27932) · Merge requests · Administrator / sourcegraph

Administrator requested to merge chris/incremental-symbols into main Nov 18, 2021

Created by: tjdevries

i don't know why I suddenly pushed to a different branch, but here it is.

@chrismwendt

We might need to VACUUM every once in a while, but it's not clear right now that it's worth it. More rows get inserted than deleted over time, so I would expect SQLite to eventually reuse the empty space.

Resolves https://github.com/sourcegraph/sourcegraph/issues/27611

incremental symbols

Merge request reports