PR Search pour Google Chrome

PR Recherche: Une extension pour la recherche de PR et de problèmes sur GitHub

PR Search est une extension Chrome développée par rikucherry0522. Il appartient à la catégorie des navigateurs et est classé dans la sous-catégorie des modules complémentaires et outils. Cette extension gratuite vise à améliorer la fonctionnalité de recherche des PR (Pull Requests) et des problèmes sur GitHub.

Avec PR Search, les utilisateurs peuvent accéder à des options supplémentaires pour filtrer les PR et les problèmes. L'extension ajoute des menus déroulants pour filtrer par type, état et mots clés, ce qui permet aux utilisateurs de restreindre leurs résultats de recherche. De plus, PR Search fournit des sélecteurs de date pour rechercher par une date spécifique ou une plage de dates.

Les éléments d'interface utilisateur ajoutés sont affichés de manière pratique sous l'en-tête du conteneur de la page, à la fois sur les pages de liste des problèmes et des PR, ce qui facilite l'accès et l'utilisation de la fonctionnalité de recherche améliorée.

PR Search est un outil précieux pour les utilisateurs de GitHub qui travaillent fréquemment avec des PR et des problèmes. Il simplifie le processus de recherche et offre plus de contrôle et de flexibilité pour trouver les PR ou les problèmes spécifiques dont ils ont besoin.