Import de github dans git.spip
nicod_ <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
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. -- nicod_