diff --git a/bots/zephyr_mirror_backend.py b/bots/zephyr_mirror_backend.py index c2c01e5..5c4d246 100755 --- a/bots/zephyr_mirror_backend.py +++ b/bots/zephyr_mirror_backend.py @@ -82,6 +82,9 @@ def to_zulip_username(zephyr_username): else: (user, realm) = (zephyr_username, "ATHENA.MIT.EDU") if realm.upper() == "ATHENA.MIT.EDU": + # Hack to make ctl's fake username setup work :) + if user.lower() == 'golem': + user = 'ctl' return user.lower() + "@mit.edu" return user.lower() + "|" + realm.upper() + "@mit.edu"