[spip-dev] repo pour gérer plusieurs git

Dev
1

hello,
je découvre repo comme expliqué ici : on peut gérer plusieurs git, par exemple spip + les plugins-dist + squelettes + ce qu’on veut comme on peut choisir les dossiers de destination on peut aussi sortir des plugins du dossier plugins-dist et les mettre dans plugins si on veut les utiliser sans obligation avec ce manifest j’ai mis 4 plugins-dist dans plugins/dist et ça m’a l’air de fonctionner le site public devrait bien afficher de grosses erreurs à certains endroits, pour prouver que ça marche… dans l’idée, la commande pour mettre à jour tout d’un coup : repo sync Je sais pas encore si c’est bien au final, et si on peut gérer une distribution personnalisée, mais je me suis bien amusé avec repo ;o) Certains connaissent déjà ?

2

Le mar. 21 janv. 2020 00:00, chankalan a demandé :

Certains connaissent déjà ?

:slight_smile: Oui, c’est dans la même veine que « mr » <https://linux.die.net/man/1/mr> Je l’ai (repo) découvert il y a moins d’un semestre. Mon besoin est pour de la conf versionnnée qui est maintenant éclaté dans différents dépôts <https://myrepos.branchable.com> :slight_smile:

3

hello

a oui, je trouve que c’est même beaucoup mieux, merci !

4

hello

:slight_smile: Oui, c’est dans la même veine que « mr » <https://linux.die.net/man/1/mr> Je l’ai (repo) découvert il y a moins d’un semestre. Mon besoin est pour de la conf versionnnée qui est maintenant éclaté dans différents dépôts <https://myrepos.branchable.com> :slight_smile:

a oui, je trouve que c’est même beaucoup mieux, merci !

Je ne l’ai pas précisé, mais ce sont deux outils (scripts) différents qui utilisent la même commande « mr » et le même mode de fonctionnement. Le premier, en PERL, a un miroir (officieux je crois) sur https://github.com/matthewmccullough/mr

Dans le même esprit, ont fleuri (dans d’autres langages, et on peut s’en inspirer pour faire avec PHP si le coeur vous en dit) :

Je les ai pas tous testé.

5

hello,
je découvre repo comme expliqué ici : http://www.yoannsculo.fr/git-repo-outil-gestion-multiples-repositories-arracher-cheveux/
on peut gérer plusieurs git,

C’est une bonne présentation (en français pour ne rien gâcher.) Certaines remarques s’entendent mais le mode de fonctionnement se justifient… par l’origine et le besoin (Google & Android) alors que la plupart des besoins sont fort éloignés de là (on ne gère pas autant de dépôts et ils ne sont surtout pas alignés en versions et branches etc. de plus, c’est fortement lié à leurs outils/écosystèmes et flux de travail)
Dans la même ligne, https://github.com/TankerHQ/tsrc (évoqué par Km dans un autre fil), peut être considéré comme son évolution (et se présente comme tel dans la faq) https://github.com/TankerHQ/tsrc/blob/master/docs/faq.md Ça correspond avant tout à leur organisation (mode de fonctionnement), tous/toutes les outils/solutions ne pouvant s’appliquer à toutes les organisations :slight_smile: Ceci dit, il m’a l’air très bien (je ne l’ai pas encore testé)

par exemple spip + les plugins-dist + squelettes + ce qu’on veut
comme on peut choisir les dossiers de destination on peut aussi sortir des plugins du dossier plugins-dist et les mettre dans plugins si on veut les utiliser sans obligation
avec ce manifest j’ai mis 4 plugins-dist dans plugins/dist et ça m’a l’air de fonctionner
https://framagit.org/chankalan/spip-repo/blob/master/default.xml

le site public devrait bien afficher de grosses erreurs à certains endroits, pour prouver que ça marche…

dans l’idée, la commande pour mettre à jour tout d’un coup :
repo sync

Je sais pas encore si c’est bien au final, et si on peut gérer une distribution personnalisée, mais je me suis bien amusé avec repo ;o)

Ça me semble bien à première vue :slight_smile:

6

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…

7

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 : GitHub - gabrie30/ghorg: Quickly clone or backup an entire org/users repositories into one directory - Supports GitHub, GitLab, Bitbucket, and more 🐇🥚
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é… :wink:

Y a plus qu'à tester : je me note cela pour la fin de semaine ^^

8

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