Better GitHub Home

Le but c'était d'arrêter de faire 15 clics pour accéder à un projet ou à un repo d'une autre orga. Sur l'accueil de GitHub t'as le feed, très bien, mais tout ce sur quoi tu bosses vraiment reste planqué derrière un menu déroulant. Je voulais l'avoir sous les yeux en arrivant, sans rien enlever au reste.
Du coup l'extension ajoute deux panneaux à côté du feed, qui lui ne bouge pas : tes organisations, chacune liée à sa liste de repos, et tes projets, tous comptes confondus. Tu peux les réordonner ou en masquer pour garder sous la main seulement ce qui te sert. Et survoler une orga préaffiche sa page, donc quand tu cliques c'est déjà chargé.
Et comme avec l'IA je fais pas mal de PRs stackées les unes sur les autres, j'ai ajouté le regroupement : sur le listing des PRs d'un repo, une pile est repliée ensemble au lieu d'être éparpillée sur dix lignes. Tu vois la PR de tête, sa profondeur, le nombre de PRs en dessous et la branche cible de chacune. Le listing redevient lisible. Les lignes natives de GitHub sont gardées et remises en place quand tu quittes la page, je voulais pas casser ce qui marche déjà.
Cerise sur le gâteau, ça complète les nouvelles stacked PRs de GitHub 🙌.
Côté données, rien ne sort de ta machine : ton token GitHub reste dans le stockage de l'extension et n'est envoyé qu'à api.github.com, jamais ailleurs. Les panneaux se rafraîchissent dès que le token ou les réglages changent, et le thème suit celui de la page hôte.