Re: repo pour gérer plusieurs git

Le jeu. 23 janv. 2020 à 22:51, j'ai écrit :
>
> Bonsoir la zone,
>
> Dans un autre registre, je viens de tomber sur ceci qui répond à un besoin que j'ai au boulot : https://github.com/gabrie30/ghorg
> Gitea n'est pas (encore) pris en charge. Pour ceux qui ont un compte Github, vous pouvez voter pour le ticket 56...

Je ne l'avais pas fait, merci aux personnes qui ont poucé… ;)
https://github.com/gabrie30/ghorg/issues/56
Y a plus qu'à tester : je me note cela pour la fin de semaine ^^
_______________________________________________
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip