Adopted new git push.default of simple.