[v3] How to access list of indexed branches?

[stephanr]

Hi everyone,

after testing the migration to the new version 3.0 of sourcebot, I am missing a way to see which branches were indexed.
In 2.8 the repository page showed all indexed and available branches which could be searched. For v3 I hadn't found a way to see this information.
Our use-case is often to search with rev: to include all branches, so if there are no matches, I see no way to check which source were indexed.

Example of the demo instance, which now only shows a status badge:

Is there a way to reactivate the listing of indexed branch names?

[msukkari]

Previously the repository table was fetching information from zoekt, which has context over the branches that have been indexed. With v3, this table is now showing the repo information stored in the DB which isn't aware of the branches indexed.

I've created a FR to track adding this back: #264