Start using the multi-repo filter nav item in the Dagit left nav, including the RepoSelector popover.
- If the user has localStorage settings for which repos to show, show all matching repos loaded in the workspace.
- If there are no matches: if only one repo is loaded, show it. If multiple repos are loaded, show the first one in the list.
When a single repo is selected, show its name and a reload button. When multiple repos are selected, show "X of Y shown".
This diff also connects the reload buttons in the RepoSelector, and closes the popover when the user clicks to browse a given repo.