Outils
GitHub déploie une page des pull requests du dépôt repensée
GitHub a rendu sa page des pull requests de dépôt repensée disponible pour tous les utilisateurs, avec une recherche avancée à opérateurs AND et OR et une barre latérale rétractable pour filtrer rapidement. La nouvelle interface permet des actions groupées, comme étiqueter et fermer plusieurs pull requests à la fois, un mode d'affichage compact et des indicateurs de vérifications d'état et de mises à jour non lues. Les utilisateurs peuvent aussi filtrer les listes en cliquant sur les statuts de revue et afficher directement jalons, tickets liés et badges d'auteur.
Traduit avec l'aide de l'IA.