Les changements apportés aux plugins principaux sont inclus avec les autres changements principaux, il ne manque donc que les « plugins officiels non principaux ». L’ajout de changements provenant d’autres dépôts est quelque chose que nous pourrions envisager à l’avenir, mais il n’y a pas de plan immédiat pour le mettre en œuvre.
Pour les plugins non principaux (officiels et tiers), GitHub est probablement la meilleure façon de suivre leurs changements pour le moment.
Bonne idée ! Cela pourrait être un peu délicat à mettre en œuvre, car la liste des commits est implémentée comme une « liste virtuelle », où seuls les éléments affichés à l’écran sont réellement rendus… mais je vais voir ce que je peux faire.