← Toutes les actualités

Développement

GitHub repense la page des pull requests pour accélérer le tri

La nouvelle liste de pull requests de GitHub arrive en préversion publique avec des filtres plus puissants, une vue compacte et davantage d’indicateurs.

Par Rédaction AUVR Studio2 min de lecture
Capture officielle de la nouvelle page GitHub consacrée aux pull requests

Une liste conçue pour les dépôts très actifs

GitHub propose à tous les utilisateurs une nouvelle page de pull requests au niveau du dépôt. L’objectif est de retrouver plus vite une modification précise lorsque les contributions ouvertes se comptent par dizaines ou centaines.La présentation peut être rendue plus compacte afin d’afficher davantage de demandes à l’écran. Une barre latérale repliable donne aussi accès aux filtres les plus courants, notamment les contributions créées par l’utilisateur ou celles qui le concernent.

Une recherche logique plus puissante

Le moteur accepte désormais les opérateurs AND et OR ainsi que des requêtes imbriquées. Il devient possible de combiner auteur, état, étiquette et autres critères de manière beaucoup plus précise.Une aide contextuelle suggère les filtres appropriés pendant la saisie. Cette assistance doit réduire les erreurs de syntaxe et rendre les recherches complexes accessibles sans mémoriser tous les qualificatifs GitHub.

Plus de contexte avant même d’ouvrir une demande

La liste affiche le nombre de contrôles réussis ou en attente, l’appartenance éventuelle à une pile de modifications et les mises à jour non lues. Le développeur peut ainsi décider plus rapidement quelles demandes exigent son attention.Ces indicateurs rapprochent la page d’un véritable tableau de suivi. Ils évitent d’ouvrir chaque pull request uniquement pour vérifier son état technique ou repérer une nouvelle activité.

Une préversion encore incomplète

GitHub signale plusieurs limites : les jalons ne sont pas encore visibles, les modifications en masse manquent et les vues personnalisées ne peuvent pas être sauvegardées. Certains emojis d’étiquettes peuvent aussi mal apparaître.Les utilisateurs peuvent revenir à l’ancienne interface depuis le badge de préversion. Cette période de test doit permettre à GitHub d’ajuster le produit avant une diffusion définitive.Source officielle et crédit image : GitHub Changelog — nouvelle page des pull requests.