Fix gitconfig push.default option