J'ai les dépôts suivants.
- DEV REPO: dans un répertoire de ma machine de développement où j'apporte des modifications
- MAIN REPO: référentiel nu sur ma machine de développement vers lequel je pousse les modifications depuis le dépôt de développement
- PRODUCTION REPO: référentiel sur la machine hôte pour extraire les mises à jour du référentiel principal
J'avais l'habitude git remote add origin /Users/me/sites/main_repo
de définir le repo MAIN comme origine du repo DEV. Le référentiel PRODUCTION se trouve sur un hôte distant. Puis-je utiliser une variante de la même commande pour définir le référentiel MAIN comme origine du référentiel PRODUCTION également? Si "oui", alors je suppose que la syntaxe inclurait une adresse IP. À quoi cela ressemblerait-il?