Different default remote (tracking branch) for git pull and git push

Since Git version 1.7.0, you can set this with:

git remote set-url --push origin https://your.push.com/blah/