user-groups: Remove deactivated users from groups

zulip / zulip-mobile

Zulip mobile apps for Android and iOS.

https://zulip.com/apps/

Apache License 2.0

1.3k stars 655 forks source link

Closed chrisbobbe closed 1 week ago

chrisbobbe commented 1 week ago

Also move users between state.users and state.realm.nonActiveUsers in response to realm_user/update events that have is_active.

Fixes: #5899

chrisbobbe commented 1 week ago

Thanks for the review! Revision pushed.

chrisbobbe commented 1 week ago

Thanks for the review! Revision pushed.

gnprice commented 1 week ago

Thanks for the revisions! Looks good; merging.