Migration Git - Galaxie - Scories

Hello,

Francky, via la liste des traductions, a mis en exergue que certains
plugins étaient encore sous SVN uniquement.
C'est le cas des plugins-squelette de mediaspip
(_squelettes_/mediaspip/xxxx, 4 sous dossiers) et qui sont bien référencés
dans mon suivi comme "on en fait quoi ?".
J'ai vérifié que ces plugins sont bien utilisés sous medias.spip.net mais
je ne vois pas le rapport avec le squelette que l'on a aujourd'hui dans git
sous l'organisation galaxie, à savoir, medias.spip.net.
J'en ai profité pour refaire un état de migration de la galaxie sous git en
sortant mes archives de suivi et j'en ai tiré quelques actions à effectuer
car tout n'est pas encore propre.

*Renommer des repos*:
Pour être plus lisible et cohérent avec le reste il faudrait renommer les
repos galactic_xxxx du nom de l'url:
- *contrib* devrait devenir contrib.spip.net
- *galactic_spip_net* en www.spip.net
- *galactic_programmer* en programmer.spip.net
- *galactic_forum* en forum.spip.net
- et aussi *univers_spip* en stats.spip.net
Ça peut se faire rapidement mais y a-t-il des conséquences et où ?

*Déprécier des repos*:
- *galactic_pluginspip* : début de passage à galactic de Plugins SPIP, à
supprimer car il ne servira jamais étant donné que Contrib inclura Plugins
SPIP à terme
- *spip-info* : archiver le repo

*Supprimer ou rajouter de la boussole*:
- *spip-info* : à supprimer de la boussole
- *stats.spip.net <http://stats.spip.net>* : à ajouter à la boussole
- *git.spip.net <http://git.spip.net> *: à ajouter à la boussole
- *SPIP zone* : ne faudrait-il pas le supprimer de la boussole ?

*Migrer des repos dans Galaxie*:
- rapatrier les repos *mediaspip* listés ici :
https://pic.infini.fr/WjHjXWPV/aksPYu6u.png. Ce sont les repos utilisés sur
medias.spip.net et qui sont au format trunk/branches.
- rapatrier les repos *_squelettes_/spip.zone.trac* et
_*squelettes_/trac.rezo.net
<http://trac.rezo.net>* pour mémoire et les archiver. Ce n'est pas grand
chose mais ça me parait plus cohérent.

Ca serait bien qu'on en profite là pour finir ça avant la fin de l'année,
c'est pas grand chose mais au moins on aura un truc fini.


++
Eric