frontend
Add repository search and improved selection UI to repo picker
- Search repositories from the SelectRepoStep — Added a search field to the repository selection step so users can filter GitHub repositories by name or description and see matching results as they type.
Improvements
- Added a live search input that filtered repositories by name or description.frontend
- Updated the repository list UI to display filtered results dynamically, highlight the selected repository, and show a clear empty-state message when no matches are found.frontend