Skip to content

Add search input to repository Miners tab #1244

@carlos4s

Description

@carlos4s

Summary

The Miners tab on the repository details page has no search input. Users must scroll the full list to find a specific miner by GitHub ID.

Motivation

Repositories with many miners make manual scanning slow. A search field — matching against GitHub ID — lets users locate a miner instantly. The filter logic and URL search param already exist in TopMinersTable.tsx; only the visible input is missing.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions