Adopt push.default = simple in git config.