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 ?