Eu tenho os seguintes repositórios.
- DEV REPO: em um diretório na minha máquina de desenvolvimento onde eu faço alterações
- REIN PRINCIPAL: repositório vazio na minha máquina de desenvolvimento para o qual envio alterações do repositório de desenvolvimento
- REPO DE PRODUÇÃO: repositório na máquina host para obter atualizações do repo principal
Eu costumava git remote add origin /Users/me/sites/main_repodefinir o repositório PRINCIPAL como origem para o repositório DEV. O repositório de produção está em um host remoto. Posso usar uma variação do mesmo comando para definir o repositório PRINCIPAL como origem para o repositório PRODUCTION também? Se "yes", então suponho que a sintaxe inclua um endereço IP. Como seria isso?