Fix gitconfig push.default = simple