Búsqueda de PR: Un complemento para buscar PR y problemas en GitHub
PR Search es una extensión de Chrome desarrollada por rikucherry0522. Se encuentra en la categoría de Navegadores y se clasifica como una subcategoría de Complementos y Herramientas. Esta extensión gratuita tiene como objetivo mejorar la funcionalidad de búsqueda para los PR (Pull Requests) y problemas de GitHub.
Con PR Search, los usuarios pueden acceder a opciones adicionales para filtrar PR y problemas. La extensión agrega menús desplegables para filtrar por tipo, estado y palabras clave, lo que permite a los usuarios reducir los resultados de búsqueda. Además, PR Search proporciona selectores de fecha para buscar por una fecha específica o un rango de fechas.
Los elementos de IU añadidos se muestran de forma conveniente debajo del encabezado del contenedor de la página tanto en las páginas de lista de problemas como de PR, lo que facilita a los usuarios acceder y utilizar la funcionalidad de búsqueda mejorada.
PR Search es una herramienta valiosa para los usuarios de GitHub que trabajan frecuentemente con PR y problemas. Simplifica el proceso de búsqueda y proporciona más control y flexibilidad para encontrar los PR o problemas específicos que necesitan.
Opinión usuarios sobre PR Search
¿Has probado PR Search? Sé el primero en dejar tu opinión!