Re: Import de github dans git.spip
nicod_ <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Le 21/05/2020 à 18:27, nicod_ a écrit : > Yop, > > j'ai essayé de rapatrier tri_par_rubrique sur Gitea en lançant une > migration, mais la tasse clignote depuis 3 heures... > https://git.spip.net/spip-contrib-extensions/tri_par_rubrique > > Je pense qu'il faudrait le supprimer, mais est ce que je ré-essaye > ensuite ? > C'est censé fonctionner ? > > Je pourrai créer un dépot simple, et pusher dedans, mais ce serait plus > propre de pouvoir migrer les PR en même temps. Salut, la tasse clignote toujours (elle est vaillante). Azertyu, tu veux qu'on se cale pour que je refasse la manip et que tu regardes les logs ? J'avais demandé un import avec mes identifiants github et demandé l'import des PR, notamment. -- nicod_