Changer la source du clone spip, change bien pour les plugins-dists mais pas pour le core
J'étais sur un clone HTTP (par défaut). J'ai voulu retélécharger en changeant la source pour git@. Ça a bien changé tous les plugins-dist, mais pas le core. Dans le git config est toujours remote.url = http