GitHub PR Filter Helper

Boutons de filtre rapide pour les Pull Requests GitHub

GitHub PR Filter Helper ajoute une barre de filtres directement dans les pages de liste de Pull Requests de GitHub. Filtrez les PRs par statut, brouillon, état de révision et assignation en un seul clic, sans popup ni panneau séparé. Fatigué de saisir manuellement des requêtes de recherche GitHub pour trouver les Pull Requests dont vous avez besoin ? Cette extension élimine cette friction en intégrant des boutons de filtre intuitifs exactement là où vous en avez besoin, directement au-dessus de la liste des PRs sur n'importe quel dépôt GitHub. Fonctionnalités principales : Filtre de statut — Basculez instantanément entre les Pull Requests ouverts, fermés et fusionnés en un seul clic. Chaque clic parcourt les options de manière rapide et fluide. Filtre brouillon — Affichez uniquement les PRs en brouillon, les PRs prêts pour révision ou tous. Parfait pour suivre les travaux en cours. Filtre de révision — Concentrez-vous sur les PRs nécessitant une révision, approuvés ou avec des modifications demandées. Gardez le contrôle de votre flux de révision de code. Filtre @me — Trouvez rapidement vos propres PRs, les PRs où votre révision est demandée ou les PRs qui vous sont assignés. Votre vue personnalisée à un clic. Effacer les filtres — Réinitialisez tous les filtres instantanément et revenez à la vue par défaut. Comment ça fonctionne : La barre de filtres apparaît automatiquement sur toute page de liste de Pull Requests GitHub. Cliquez sur n'importe quel bouton de filtre pour parcourir ses options. L'extension construit les requêtes de recherche GitHub en arrière-plan, de sorte que vos filtres se reflètent dans l'URL et fonctionnent parfaitement avec la recherche native de GitHub. Vos termes de recherche et étiquettes existants sont préservés lors de l'application des filtres.