PR Search: Uma Extensão para Pesquisa de PR e Issues no GitHub
PR Search é uma extensão do Chrome desenvolvida por rikucherry0522. Ela se enquadra na categoria de Navegadores e é classificada como uma subcategoria de Complementos e Ferramentas. Esta extensão gratuita tem como objetivo aprimorar a funcionalidade de pesquisa para PRs (Pull Requests) e problemas do GitHub.
Com o PR Search, os usuários podem acessar opções adicionais para filtrar PRs e problemas. A extensão adiciona menus suspensos para filtrar por tipo, estado e palavras-chave, permitindo que os usuários restrinjam os resultados da pesquisa. Além disso, o PR Search fornece seletores de data para pesquisar por uma data específica ou intervalo de datas.
Os elementos de interface adicionados são exibidos convenientemente abaixo do cabeçalho do contêiner da página, tanto nas páginas de lista de problemas quanto de PRs, facilitando o acesso e a utilização da funcionalidade de pesquisa aprimorada.
O PR Search é uma ferramenta valiosa para usuários do GitHub que trabalham frequentemente com PRs e problemas. Ele simplifica o processo de pesquisa e oferece mais controle e flexibilidade para encontrar os PRs ou problemas específicos de que precisam.
