title: Different default remote (tracking branch) for git pull and git push
body: <p>Is there a way to set up a git repository, so that <code>git pull</code> defaults to one remote and <code>git push</code> defaults to another? I know I can set <em>both</em> by changing the value of the <code>remote</code> variable in branch section of <code>.git/config</code>, but how to do it for each direction separately?</p>