diff --git a/bots/zephyr_mirror_backend.py b/bots/zephyr_mirror_backend.py index 5c4d246..6251e8e 100755 --- a/bots/zephyr_mirror_backend.py +++ b/bots/zephyr_mirror_backend.py @@ -91,6 +91,9 @@ def to_zulip_username(zephyr_username): def to_zephyr_username(zulip_username): (user, realm) = zulip_username.split("@") if "|" not in user: + # Hack to make ctl's fake username setup work :) + if user.lower() == 'ctl': + user = 'golem' return user.lower() + "@ATHENA.MIT.EDU" match_user = re.match(r'([a-zA-Z0-9_]+)\|(.+)', user) if not match_user: