Améliorations de l'interface pour les PR GitHub
GHPR est une extension gratuite pour Chrome qui améliore l'expérience utilisateur lors de la gestion des demandes de tirage (PR) sur GitHub. Cette extension propose plusieurs fonctionnalités utiles, notamment l'adaptation de la barre latérale des PR à la longueur des noms de fichiers, permettant ainsi une visualisation plus claire et organisée des fichiers. Les utilisateurs peuvent également redimensionner la barre latérale selon leurs préférences, offrant ainsi une personnalisation de l'espace de travail.
En outre, GHPR diminue et plie les fichiers et dossiers examinés dans l'arbre des demandes de tirage, facilitant la navigation et la concentration sur les éléments essentiels. Les fichiers visibles que l'utilisateur examine dans le panneau droit sont également mis en surbrillance dans l'arbre, ce qui améliore l'efficacité du processus de révision. Cette extension est pinable, permettant un accès rapide aux options personnalisées qui répondent aux besoins spécifiques de chaque utilisateur.
