git: Switch push.default to new name: simple