[spip-dev] Gitea - Migration de _dev_

Hello,

On vient de migrer le repo _dev_/univers_spip qui était uniquement sous SVN. Il est maintenant dans l’organisation spip-contrib-galaxie.
Il reste encore un Salvatore dans _dev_ : est-il utile ou pas ?

Une petite chose encore : ne serait-il opportun de transférer le débardeur dans spip-contrib-outils ?

Non plus besoin de salvatore de _dev_ c’est la vieille version.
Salvatore est maintenant intégré dans le plugin trad-lang

Ok, c’est ce que j’imaginais.

merci, je m'en sert pour les stats d'Escal