Add default setting for push.default