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