Failed validating m.push_rules event

[wavexx]

I'm seeing the current message when using weechat-matrix and the current master of matrix-nio:

23:42 nio.events: Error validating event: 'default' is a required property
23:42
23:42 Failed validating 'required' in schema:
23:42     {'properties': {'actions': {'items': {'type': ['string', 'object']},
23:42                                 'type': 'array'},
23:42                     'conditions': {'items': {'properties': {'is': {'pattern': '(==|<=|>=|<|>)?[0-9.-]+',
23:42                                                                    'type': 'string'},
23:42                                                             'key': {'type': 'string'},
23:42                                                             'kind': {'type': 'string'},
23:42                                                             'pattern': {'type': 'string'}},
23:42                                              'required': ['kind'],
23:42                                              'type': 'object'},
23:42                                    'type': 'array'},
23:42                     'default': {'type': 'boolean'},
23:42                     'enabled': {'type': 'boolean'},
23:42                     'pattern': {'type': 'string'},
23:42                     'rule_id': {'type': 'string'}},
23:42      'required': ['rule_id', 'default', 'enabled', 'actions'],
23:42      'type': 'object'}
23:42
23:42 On instance:
23:42     {'actions': ['dont_notify'],
23:42      'enabled': True,
23:42      'rule_id': '!<room>:matrix.org'}

[wavexx]

I debugged this a bit and it looks like this an issue in the generated json response from the official matrix servers when receiving room push_rules.

I've currently worked this around by patching nio/schemas.py, but I'm unsure whether fixing matrix-nio would be the appropriate action.

[poljar]

I think there's no other way than relaxing the schema.

[wavexx]

Do we want to wait for a response from the synapse devs?
Otherwise I currently simply "default" to False, I could push a PR.

[poljar]

No need I would say. A PR would be nice.