paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-23 16:01:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

[manual] Rename error bot to zulip.com domain.

Browse Source 
Just before this is pushed to prod, we need to rename the Humbug error
bot in the database using:

./manage.py change_user_email humbug+errors@humbughq.com error-bot@zulip.com
/etc/init.d/memcached restart

No action is required on pushing this to staging, but in between when
this is pushed to staging and when it is pushed to prod (and that
transition performed), error reporting to humbug will not work on
staging.

(imported from commit 93044bb01797c981067f359676826d4a5791e235)
This commit is contained in:
Tim Abbott
2013-07-24 14:23:35 -04:00
parent c7d57e6e4a
commit b17741a5c4
4 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
zephyr/lib/html_diff.py
View File

@@ -106,7 +106,7 @@ def highlight_html_differences(s1, s2):
logging.getLogger('').error('HTML diff produced mal-formed HTML')
subject = "HTML diff failure on %s" % (platform.node(),)
internal_send_message("humbug+errors@humbughq.com", "stream",
internal_send_message("error-bot@zulip.com", "stream",
"errors", subject, "HTML diff produced malformed HTML")
return s2