После 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 на использование репозиториев по умолчанию и отдельных репозиториев для push и push, т.е.:
git pull # pulls from origin
git push # pushes into repo-for-push, avoiding accidental push into the origin
Как это можно настроить?
Заранее спасибо.
EDIT:
По сути, я хочу настроить push-репо по умолчанию так, чтобы оно отличалось от репо-извлечения по умолчанию.