Re: Migration git&organisations : it works!
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <CADneLzfaS=JxOO4gkEi6Zihe-NS36FPhyo9nNXvjZ5_==gdwMQ@mail.gmail.com> |
Salut Cool Pour information il y a plus simple git remote set-url origin new.git.url/here Km Le lun. 20 janv. 2020 à 09:15, Eric Lupinacci <[email protected]> a écrit : > > Super ! > Ca me rassure :p > > ++ > Eric > > > Le lun. 20 janv. 2020 à 09:10, Cerdic <[email protected]> a écrit : >> >> 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 [email protected]:spip-contrib-extensions/xxxxx.git >> git fetch --all >> >> et c’est reparti ! >> >> Merci à Eric et Camille qui ont travaillé d’arrache pied pour ça :) >> >> -- >> Cédric >> _______________________________________________ >> liste: https://listes.rezo.net/mailman/listinfo/spip-dev >> doc: https://www.spip.net/ >> dev: https://core.spip.net/ >> irc://irc.freenode.net/spip > > _______________________________________________ > liste: https://listes.rezo.net/mailman/listinfo/spip-dev > doc: https://www.spip.net/ > dev: https://core.spip.net/ > irc://irc.freenode.net/spip _______________________________________________ liste: https://listes.rezo.net/mailman/listinfo/spip-dev doc: https://www.spip.net/ dev: https://core.spip.net/ irc://irc.freenode.net/spip