[解決済み] git リモートオリジンのセットアップ

質問

以下のレポがあります。

1. DEV REPO: 私の開発マシン上のディレクトリで、私が変更を加える場所です。
2. MAIN REPO: 開発マシン上のベアリポジトリで、開発レポからの変更をプッシュします。
3. PRODUCTION REPO: メインレポから更新を取得するためのホストマシン上のレポジトリ

私は git remote add origin /Users/me/sites/main_repo を使用して、DEVレポのオリジンとしてMAINレポを設定します。PRODUCTIONレポはリモートホストにあります。同じコマンドのバリエーションを使って、PRODUCTIONレポのオリジンとしてMAINレポを設定することもできますか？もし可能であれば、構文にIPアドレスが含まれると思います。これはどのようなものでしょうか？

解決方法は？

SSHを使用する

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

HTTPを使用する

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

しかし、単純な git pull をデプロイメントプロセスとして使用することは、通常 悪い考え であり、本物のデプロイメントスクリプトを使用することは避けるべきです。