Remove push.default=simple option: not supported in older versions