Git push pull multiple dépôt.

Introduction

Il y a un petit moment de ça déjà, j'ai installé gitlab sur mon serveur pour gérer des dépôts privés. Depuis, j'ai aussi pensé qu'il serait intéressant d'avoir un mirroir de chacun de mes projets sur github sur mon instance gitlab. Pour éviter de devoir penser à pusher sur l'un et l'autre des remotes, il me fallait pouvoir pusher simultanément sur les deux, et git peut le faire, c'est vraiment un outil fantastique et puissant.

Configuration

Une fois le dépôt créé et ajouté, il suffit d'utiliser la commande git avec l'argument set-url. Si seul le push simultané est nécessaire sans le pull:

git remote set-url origin --push --add git@url

ou alors éditer le fichier .git/config et ajouter cette ligne dans la section remote correspondante:

pushurl = git@url

Si le push et le pull sont nécessaire:

git remote set-url origin --add git@url

ou alors éditer le fichier .git/config et ajouter cette ligne dans la section remote correspondante:

url = git@url

Il est possible d'ajouter autant d'url qu'on le souhaite.

Conclusion

Une option qui s'avère très pratique lorsqu'on souhaite vraiment avoir un mirroir sur plusieurs serveurs pour ne pas avoir besoin de penser à faire le push sur chaque serveur. J'ai aussi trouvé une utilisation un peu différente pour un projet au travail, mais qui s'avère aussi rudement pratique et nous évite des merges manuel de branches.