From 134e96ad9b1ef57f82d12e33a15bab50842694f4 Mon Sep 17 00:00:00 2001
From: Zev Benjamin <zev@zulip.com>
Date: Fri, 11 Oct 2013 16:06:50 -0400
Subject: [PATCH] zephyr_mirror: Hack to let golem receive mirrored personals

(imported from commit 68539e45dbdfd70a037405dd2760474bf46dff76)
---
 bots/zephyr_mirror_backend.py | 3 +++
 1 file changed, 3 insertions(+)

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"