aboutsummaryrefslogtreecommitdiff
path: root/depots synchronises.txt
diff options
context:
space:
mode:
authorpolo <ordipolo@gmx.fr>2025-07-16 15:51:56 +0200
committerpolo <ordipolo@gmx.fr>2025-07-16 15:51:56 +0200
commite12da84c3147a9d751a32697300cc341e3a6b1e4 (patch)
treee0065ee1663db4cd3d49514bf39e11e4fe712f3b /depots synchronises.txt
parent798f004d9245433d3829f826eafde8d8cce35a5a (diff)
downloadtuto_git-e12da84c3147a9d751a32697300cc341e3a6b1e4.zip
utiliser deux dépôts synchronisésHEADmaster
Diffstat (limited to 'depots synchronises.txt')
-rw-r--r--depots synchronises.txt22
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 @@
1Utiliser un 2è dépôt synchronisé.
2
3Le 1er est sur github et existe déjà, le deuxième est sur mon serveur et utilise SSH.
4
5Cré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
6git init --bare
7
8Depuis le dossier du projet (cloné depuis github) sur son PC
9git remote set-url --add --push origin https://github.com/...
10git remote set-url --add --push origin user@mon-serveur:projet
11
12Le projet a maintenant plusieurs URL de push
13
14Pour changer l'URL de pull, j'ai fait comme ça (y a surement mieux)
15git remote set-url --add origin user@mon-serveur:projet
16git remote set-url --delete origin https://github.com/...
17
18Pour voir ce qu'il en est:
19git remote show origin
20
21Le projet utilise maintenant le nouveau dépôt pour les pull et les deux dépôts pour les push.
22Les deux dépôts NE SONT PAS RÉELLEMENT synchronisés, ça se passe au niveau du client.