Add a search bar to the repository list so users can quickly find repos by name or language.
Scope:
- Client-side filter (no extra API call) over the already-loaded repo list
- Filter by name (substring match)
- Filter by language (dropdown or chip select)
Add a search bar to the repository list so users can quickly find repos by name or language.
Scope: