frontend
Added repository search and improved repo selection UI
- Repository search in the repo selector — Added a search input to the repository selection step so users can quickly find GitHub repositories by name or description. Results update as you type and the list shows when no matches are found.
New Features
- Added a search input that filtered GitHub repositories by name or description in the repository selection step.frontend
Improvements
- Updated the repository list to display filtered results dynamically and show a clear “No repositories found” message when there are no matches.frontend
- Improved the selection UI with clearer highlighting for the chosen repository and smoother interaction when picking a repo.frontend