Ho i seguenti repository.
- DEV REPO: in una directory sulla mia macchina di sviluppo in cui apporto modifiche
- REPO PRINCIPALE: repository nudo sulla mia macchina di sviluppo a cui invio modifiche dal repository di sviluppo
- REPO DI PRODUZIONE: repository sul computer host per estrarre gli aggiornamenti dal repository principale
Ho usato git remote add origin /Users/me/sites/main_repo
per impostare il repository MAIN come origine per il repository DEV. Il repository PRODUCTION è su un host remoto. Posso usare una variazione dello stesso comando per impostare il repository MAIN come origine anche per il repository PRODUCTION? Se "sì", suppongo che la sintassi includa un indirizzo IP. Come sarebbe?