Closed flying-robot closed 8 months ago
Heads up @tsenart - the "team/cloud" label was applied to this issue.
@flying-robot: Tentatively adding to next milestone, we can take it out if we see it's too much, doesn't fit.
@tsenart I'm sorting through some old issues and saw this.
We now store the clone status in gitserver_repos
. Do you think we still need this issue?
Yeah, this would still help efficiently looking up which revisions are indexed and which aren't. Important for search code, so we don't have to keep a big set of indexed repos in memory and poll from Zoekt.
As I understand it, zoekt is the source of truth for indexing status, and git-server is the source of truth for clone status. We're replicating the
cloned
status into therepo
table as shown below, but not theindexed
status:I think having both attributes manifested within the table would allow us to simplify the repositories resolver and handle everything in a simple SQL statement.
cc @tsenart