I have the following repos.
- DEV REPO: in a directory on my development machine where i make changes
- MAIN REPO: bare repository on my development machine to which i push changes from dev repo
- PRODUCTION REPO: repository on host machine to pull updates from the main repo
I used git remote add origin /Users/me/sites/main_repo
to set the MAIN repo as origin for the DEV repo. The PRODUCTION repo is on a remote host. Can i use a variation of the same command to set the MAIN repo as origin for the PRODUCTION repo also? If “yes”, then i suppose the syntax would include an ip address. What would that look like?