event_types: Add missing default EventPushDevice.error_code = None.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2025-07-24 17:46:01 -07:00
committed by Tim Abbott
parent 94ed87129f
commit ba53ec5712

View File

@@ -287,7 +287,7 @@ class EventPushDevice(BaseEvent):
type: Literal["push_device"]
push_account_id: str
status: Literal["active", "failed", "pending"]
error_code: str | None
error_code: str | None = None
class NavigationViewFields(BaseModel):