gitconfig: Use push.default = simple.