Create a handful of components for managing and representing repos in Dagit.
- RepoSelector, which shows a list of repositories that can be toggled on/off for filtering purposes. This would be rendered in a popover triggered from the left nav.
- RepoNavItem, which would display the filtered repo(s) in the nav. If one repo, just show its name and a reload button. If multiple repos, show a "Filter" button that renders the RepoSelector in a popover.
- RepoBlob, a possible approach for succinctly representing repos throughout Dagit. Basically a Google-Calendar-like blob of color that helps distinguish between different repos. Not in use in these components, but I was playing around with it in RepoSelector and didn't want to have to slice it back out into another diff.
Next step would be to follow D6893 by replacing the existing repo picker with these components, to enable multiple repo selection in the nav.