После git clone, конфигурация в новом репо выглядит следующим образом:
remote.origin.url=<some url>
remote.origin.fetch=+refs/heads/*:refs/remotes/origin/*
branch.master.remote=origin
branch.master.merge=refs/heads/master
Затем я могу выполнить "git pull" и "git push". Но меня интересует только "git pull", потому что я хочу нажать в другое репо.
Единственное, что я могу сделать, это:
git add remote repo-for-push <some other url>
git push repo-for-push master
Но я хотел бы настроить git для использования стандартных и разных репозиториев для pull и push, i.e:
git pull # pulls from origin
git push # pushes into repo-for-push, avoiding accidental push into the origin
Как это можно настроить? Спасибо заранее.
EDIT:
В принципе, я хочу настроить репозиторий push по умолчанию, чтобы отличаться от репозитория выборки/вывода по умолчанию.