1 files changed, 22 insertions, 0 deletions

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.