Hello,
Juste pour dire que je viens de changer le remote et de pousser sans aucun problème depuis le plugin trad-lang qui était dans plugin/ et passé dans spip-contrib-extensions.
La procédure est donc :
git remote rm origin
git remote add origin git@git.spip.net:spip-contrib-extensions/xxxxx.git
git fetch --all
et c’est reparti !
Merci à Eric et Camille qui ont travaillé d’arrache pied pour ça 
