boltless.me / zoekt
fork of https://github.com/sourcegraph/zoekt
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

shards: update comment about mutating Rank to be clearer

author
Keegan Carruthers-Smith date (Oct 31, 2022, 3:45 PM +0200) commit ec4df0de parent 17aa8768
+1 -1
+1 -1
shards/shards.go
··· 972 972 maxPriority = priority 973 973 } 974 974 975 - // No one is reading s yet, so we can mutate it. 975 + // No one is reading our searcher yet, so we can mutate it. 976 976 // zoekt-sourcegraph-indexserver does not set Rank so at this point we 977 977 // treat Priority like star count and set it. 978 978 if repo.Rank == 0 && priority > 0 {