Added push.default option to gitconfig.