Re: repo pour gérer plusieurs git
nicod_ <[email protected]>
| Newsgroups | gmane.comp.web.spip.devel |
|---|---|
| Message-ID | <[email protected]> |
Le 21/09/2020 à 21:59, Gildas Cotomale a écrit : > 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 ^^ Pour info, un outil interne a été développé depuis : https://git.spip.net/spip-contrib-outils/gitea_mirror Et un autre, au cas où, pour suivre (watch) tous les répos de git.spip.net et recevoir leurs notifications : https://git.spip.net/spip-contrib-outils/watch_all -- nicod_ _______________________________________________ liste: https://listes.rezo.net/mailman/listinfo/spip-dev doc: https://www.spip.net/ dev: https://core.spip.net/ irc://irc.freenode.net/spip