From e12da84c3147a9d751a32697300cc341e3a6b1e4 Mon Sep 17 00:00:00 2001 From: polo Date: Wed, 16 Jul 2025 15:51:56 +0200 Subject: =?UTF-8?q?utiliser=20deux=20d=C3=A9p=C3=B4ts=20synchronis=C3=A9s?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- depots synchronises.txt | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 depots synchronises.txt diff --git a/depots synchronises.txt b/depots synchronises.txt new file mode 100644 index 0000000..f6346b2 --- /dev/null +++ b/depots synchronises.txt @@ -0,0 +1,22 @@ +Utiliser un 2è dépôt synchronisé. + +Le 1er est sur github et existe déjà, le deuxième est sur mon serveur et utilise SSH. + +Création du 2è dépôt sur le serveur, noter qu'il est possible ici de donner au dépôt un nom différent +git init --bare + +Depuis le dossier du projet (cloné depuis github) sur son PC +git remote set-url --add --push origin https://github.com/... +git remote set-url --add --push origin user@mon-serveur:projet + +Le projet a maintenant plusieurs URL de push + +Pour changer l'URL de pull, j'ai fait comme ça (y a surement mieux) +git remote set-url --add origin user@mon-serveur:projet +git remote set-url --delete origin https://github.com/... + +Pour voir ce qu'il en est: +git remote show origin + +Le projet utilise maintenant le nouveau dépôt pour les pull et les deux dépôts pour les push. +Les deux dépôts NE SONT PAS RÉELLEMENT synchronisés, ça se passe au niveau du client. -- cgit v1.2.3