Re: Migration Git - Galaxie - Scories

hello
Concernant la boussole, j'avais fait une Pr il y a déjà un moment, https://git.spip.net/spip-contrib-extensions/boussole_spip/pulls/1
Si vous voulez que j'y fasse des modifications, suffit de la dire 😃
Franck

-----Message d'origine-----
De : Bruno Bergot <[email protected]> 
Envoyé : lundi 28 décembre 2020 14:53
À : Eric Lupinacci <[email protected]>; SPIP-Dev <[email protected]>
Objet : Re: [spip-dev] Migration Git - Galaxie - Scories

Hop,

Le 27/12/2020 à 10:41, Eric Lupinacci a écrit :
> 
> *Renommer des repos*:
> Pour être plus lisible et cohérent avec le reste il faudrait renommer 
> les repos galactic_xxxx du nom de l'url:
> - *contrib* devrait devenir contrib.spip.net
> - *galactic_spip_net* en www.spip.net
> - *galactic_programmer* en programmer.spip.net
> - *galactic_forum* en forum.spip.net
> - et aussi *univers_spip* en stats.spip.net Ça peut se faire 
> rapidement mais y a-t-il des conséquences et où ?

Ok sur le principe, seule conséquence, tous les gens qui avait cloné ces repos devront mettre à jour leur url.

> 
> *Déprécier des repos*:
> - *galactic_pluginspip* : début de passage à galactic de Plugins SPIP, 
> à supprimer car il ne servira jamais étant donné que Contrib inclura 
> Plugins SPIP à terme
> - *spip-info* : archiver le repo
> 

Ok, tu veux que je passe les deux en archive ?

> *Supprimer ou rajouter de la boussole*:
> - *spip-info* : à supprimer de la boussole
> - *stats.spip.net <http://stats.spip.net>* : à ajouter à la boussole
> - *git.spip.net <http://git.spip.net> *: à ajouter à la boussole
> - *SPIP zone* : ne faudrait-il pas le supprimer de la boussole ?
> 

+1, et oui pour supprimer le lien spip-zone qui de toute façon n'est
plus à jour cf https://zone.spip.net/trac/spip-zone/log/spip-zone/

> *Migrer des repos dans Galaxie*:
> - rapatrier les repos *mediaspip* listés ici :
> https://pic.infini.fr/WjHjXWPV/aksPYu6u.png. Ce sont les repos utilisés sur
> medias.spip.net et qui sont au format trunk/branches.

Même si on peut considérer que mediaspip est à l'abandon, oui il faut 
copier ces repos sur le git, ne serait-ce que pour archive.

> - rapatrier les repos *_squelettes_/spip.zone.trac* et
> _*squelettes_/trac.rezo.net
> <http://trac.rezo.net>* pour mémoire et les archiver. Ce n'est pas grand
> chose mais ça me parait plus cohérent.
> 

Bof, mais si tu penses que c'est nécessaire, ça ne mange pas de pain.

++
b_b
_______________________________________________
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