feat(toprepos): add client-side search/filter to Repos widget

[mallya-m]

What does this PR do?

Adds a search input to the Top Repositories widget that filters repos by name in real-time. Only shown when the list has more than 10 repos.

Related issue

Closes #965

Changes made

• Added searchQuery state to TopRepos component
• Search input shown only when repos.length > 10
• Client-side filter: case-insensitive match on repo name
• "No repos match your search." empty state when filter returns nothing
• Search clears automatically on widget refresh
• aria-label="Search repositories" for accessibility
• No API changes — pure frontend filter

How to test

1. Sign in and go to dashboard
2. If you have more than 10 repos, a search box appears above the list
3. Type a repo name — list filters instantly
4. Clear the input — full list returns
5. Type something with no match — "No repos match your search." shown

[vercel]

@mallya-m is attempting to deploy a commit to the PRIYANSHU DOSHI's projects Team on Vercel.

A member of the Team first needs to authorize it.

[mallya-m]

@Priyanshu-byte-coder this is a pure frontend change — no API calls, no new dependencies. Single file edit to TopRepos.tsx. The search input only renders when repos.length > 10 so it doesn't clutter the UI for users with few repos.
Fully accessible with aria-label.
Ready to Merge !
Could you please add the gssoc:approved and quality:clean labels? Thank you!

[github-actions]

🎉 Merged! Thanks for contributing to DevTrack.

If the project has been useful to you, a ⭐ star on the repo is the easiest way to support it — it helps DevTrack get discovered by more developers.

Keep an eye on open issues for your next contribution!