From fab71363f4492b9e85806fd850410b71680981c0 Mon Sep 17 00:00:00 2001
From: Zev Benjamin <zev@zulip.com>
Date: Tue, 15 Oct 2013 16:44:19 -0400
Subject: [PATCH] zephyr_mirror: Make outgoing zephyrs to ctl instead go to
 golem

This makes zulips to ctl@mit.edu cause the mirroring system to zephyr
golem@mit.edu.

(imported from commit 9059a92ba51fa87e45feae2f0d5549b36b048e8b)
---
 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 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: