paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-04 05:53:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

models: Extract zerver.models.users.

Browse Source 
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2023-12-14 16:16:00 -08:00
committed by Tim Abbott
parent 37a9c4501f
commit 45bb8d2580
114 changed files with 1260 additions and 1273 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
zerver/views/streams.py
View File

@@ -99,7 +99,8 @@ from zerver.lib.validator import (
check_union,
to_non_negative_int,
)
from zerver.models import Realm, Stream, UserGroup, UserMessage, UserProfile, get_system_bot
from zerver.models import Realm, Stream, UserGroup, UserMessage, UserProfile
from zerver.models.users import get_system_bot
def principal_to_user_profile(agent: UserProfile, principal: Union[str, int]) -> UserProfile: