perf: Don't RPC all repo names from frontend to repo-updater
There are no commits yet
Push commits to the source branch or add previously merged commits to review them.
Created by: eseliger
Also, the code states this is used by indexed search, but I couldn't find where. Is this still up-to-date?
Push commits to the source branch or add previously merged commits to review them.