feat: add search input to repository Miners tab (#1244)#1248

alpurkan17 wants to merge 2 commits into

entrius:testentrius/gittensor-ui:testfrom

alpurkan17:fix/search-input-miners-tab-1244alpurkan17/gittensor-ui:fix/search-input-miners-tab-1244Copy head branch name to clipboard