mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 05:23:35 +00:00
This commit renames sub.is_admin to sub.is_realm_admin such that we can clearly differentiate between realm and stream admins.
This commit renames sub.is_admin to sub.is_realm_admin such that we can clearly differentiate between realm and stream admins.