push.default=simple in gitconfig