Repo Folders for GitHub Margotin Jonathan מאת

Passé une trentaine de repos, la liste plate de GitHub devient un mur de noms. Repo Folders ajoute de vrais dossiers imbriqués à tes listes de repos, sur ton profil comme sur tes organisations, sans jamais faire sortir la moindre donnée de ton navigateur.

Ce que ça change

• Un panneau Dossiers s'ajoute au-dessus de ta liste de repos, avec le nombre de repos par dossier.
• Drag & drop : glisse un repo sur un dossier. Ou clique le badge « Classer » sur la ligne du repo si tu préfères.
• Sous-dossiers sur autant de niveaux que tu veux Clients / Client A / legacy fonctionne très bien.
• Filtrage en un clic : clique un dossier, la liste ne montre plus que ses repos (sous-dossiers inclus).
• Recherche instantanée dans le panneau (nom, description, langage) et depuis l'icône de la barre d'outils, qui cherche dans tous tes repos connus, pratique depuis n'importe quel onglet. Flèches pour naviguer, Entrée pour ouvrir.
• Export / import JSON pour sauvegarder ton classement ou le transférer entre Firefox et Chrome.

Comment ça marche

L'extension lit simplement les repos affichés dans la page, donc tes repos privés aussi, puisque tu es déjà connecté à GitHub et retient dans quel dossier tu les as rangés. Il n'y a aucune requête réseau, aucun appel à l'API GitHub, aucun token à créer, aucun compte à ouvrir.

Vie privée

Rien ne quitte ton navigateur. Tes dossiers vivent dans le stockage local de l'extension et disparaissent si tu la désinstalles. Aucune télémétrie, aucun script distant.

Bon à savoir

• Un repo appartient à un seul dossier : le classement reste lisible, comme un vrai arbre de fichiers.
• Le filtrage agit sur la page affichée. Si un dossier contient des repos situés sur la page suivante de GitHub, ils n'apparaissent pas dans ce filtre, le popup, lui, les voit tous.
• Extension indépendante, non affiliée à GitHub, Inc. « GitHub » est une marque de GitHub, Inc.

Code source sous licence MIT.