Gestion des branches des plugins du Core

Les plugins-dist sont chargés grace au fichier https://git.spip.net/spip/spip/src/branch/master/plugins-dist.json par les outils tel que Checkout ou Spip-cli. Ces outils s'appuient dessus lorsqu'on lance des commandes tel que "checkout spip -b3.2 ." soit : télécharge ou met à jour un SPIP 3.2.

Les plugins-dist du core ont actuellement des branches par version de SPIP tel que "spip-3.2".

Ces nommages posent quelques problèmes car ils ne suivent pas du tout la version du plugin, ce qui fait que parfois les numéros de versions peuvent se chevaucher d'une branche à l'autre d'une part, et d'autre part, ce n'est pas très commun dans l'usage de GIT (et du monde PHP - Composer - Packagist) ce fonctionnement.

Je proposerais bien 2 choses pour cette version 4.0

• déclarer dans plugins-dist.json une clé "branch" qui indique la branche de chaque plugin a charger.
• créer à partir de maintenant des branches par version X (ou X.Y éventuellement) des plugins du core

Il y a plusieurs corolaires :

• du coup un plugin Core pourrait être compatible avec plusieurs versions de SPIP si besoin
• un changement de version minimale du SPIP requis dans ces plugins nécessite alors un incrément du X (ou X.Y selon le choix fait de branches)

Des avis ?