Feature: Add search and filter functionality for contributors

[Ayush2006385]

🔍 Feature Request: Contributor Search & Filter

Problem

Currently, when analyzing a repository with many contributors, there is no way to search or filter the contributor list. Users have to manually scroll through all contributors to find specific ones, which is time-consuming and inefficient.

Proposed Solution

Add a search and filter bar above the contributor list that allows users to:

• 🔎 Search by username — real-time text search
• 🔢 Filter by minimum PR count — e.g. "show contributors with 5+ PRs"
• 📊 Filter by PR type — merged / open / closed
• 🔃 Sort by — total PRs, merged PRs, username (A-Z)

Expected Behavior

• Filters apply instantly without re-fetching from GitHub API
• A "Clear filters" button resets all filters
• Shows count of filtered results vs total (e.g. "Showing 8 of 24 contributors")

Why This is Useful

For large repos participating in GSoC, there can be 50–100+ contributors. This feature helps mentors quickly find specific contributors or identify top performers.

Tech Stack Alignment

• React + TypeScript (matches existing codebase)
• Tailwind CSS for styling
• Pure client-side filtering (no extra API calls needed)

I'd like to implement this feature if assigned. 🙋