Tengo los siguientes repositorios.
- DEV REPO: en un directorio en mi máquina de desarrollo donde hago cambios
- REPO PRINCIPAL: repositorio desnudo en mi máquina de desarrollo al que empujo los cambios desde el repositorio de desarrollo
- REPO DE PRODUCCIÓN: repositorio en la máquina host para obtener actualizaciones del repositorio principal
Solía git remote add origin /Users/me/sites/main_repo
configurar el repositorio PRINCIPAL como origen para el repositorio DEV. El repositorio de PRODUCCIÓN está en un host remoto. ¿Puedo usar una variación del mismo comando para establecer también el repositorio PRINCIPAL como origen para el repositorio PRODUCCIÓN? En caso afirmativo, supongo que la sintaxis incluiría una dirección IP. Como se veria eso?