Adopt git push.default = simple.