Question

I have the following repos.

1. DEV REPO: in a directory on my development machine where i make changes
2. MAIN REPO: bare repository on my development machine to which i push changes from dev repo
3. 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?

Answer 1

Using SSH

git remote add origin ssh://login@IP/path/to/repository

Using HTTP

git remote add origin http://IP/path/to/repository

However having a simple git pull as a deployment process is usually a bad idea and should be avoided in favor of a real deployment script.