Un développeur a mis en ligne sur GitHub une extension baptisée « pierre-github », qui vise à améliorer la lenteur notoire de l'interface de GitHub lors de l'affichage des différences de code (diffs). Le projet, présenté sur la plateforme Hacker News, propose de substituer le rendu natif des diffs par celui de deux services tiers : diffs.com et trees.software.
Un problème connu pour les gros projets
GitHub est régulièrement critiqué pour ses performances réduites lorsqu'il s'agit de charger des pull requests (PR) contenant un grand nombre de modifications. L'auteur de l'extension cite en exemple une PR du projet Ghostty, qui comporte des changements massifs. L'interface native peut alors devenir difficile à utiliser, ralentissant le travail des développeurs.
Une solution par substitution
L'extension « pierre-github » ne modifie pas le code de GitHub lui-même, mais agit comme une surcouche. Elle détecte les pages de diffs, de commits, de comparaisons ou de commentaires – qu'ils concernent des dépôts publics ou privés – et redirige le rendu visuel de ces fichiers vers les outils proposés par diffs.com et trees.software. Selon le développeur, ces deux services offrent une expérience plus rapide et plus fluide pour naviguer dans de grandes bases de code.
Une inspiration revendiquée
Le projet « pierre-github » s'inspire explicitement d'une démonstration réalisée par l'équipe derrière diffshub.com, un autre service de visualisation de diffs. L'ambition est de fournir aux développeurs une alternative pratique sans avoir à quitter l'écosystème GitHub.
Une initiative encore à ses débuts
Pour l'instant, l'extension est partagée sous forme de dépôt GitHub et l'auteur semble ouvert aux contributions et aux retours de la communauté. Aucune information n'a été communiquée sur une éventuelle publication dans les magasins d'extensions de navigateurs, ni sur la compatibilité avec tous les navigateurs. Le projet pourrait toutefois intéresser les équipes confrontées régulièrement à des PR de grande taille.
