From c086bd453f427c3cd7c9ad3d6efeebaff8856354 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Wed, 24 Jul 2013 14:19:19 -0400 Subject: [PATCH] [manual] Rename commit bot to zulip.com domain. When we push this to staging, we'll need to rename the bot in the database and also pull on git.zulip.net. (imported from commit 22b2397b197c8820f0e55daecd8f98d829e195bd) --- bots/humbug_git_config.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bots/humbug_git_config.py b/bots/humbug_git_config.py index c7dbe9f..b56850b 100644 --- a/bots/humbug_git_config.py +++ b/bots/humbug_git_config.py @@ -4,7 +4,7 @@ # Leaving all the instructions out of this file to avoid having to # sync them as we update the comments. -HUMBUG_USER = "humbug+commits@humbughq.com" +HUMBUG_USER = "commit-bot@zulip.com" HUMBUG_API_KEY = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" # commit_notice_destination() lets you customize where commit notices @@ -31,4 +31,4 @@ def commit_notice_destination(repo, branch, commit): return None HUMBUG_API_PATH = "/home/humbug/humbug/api" -HUMBUG_SITE = "https://staging.humbughq.com" +HUMBUG_SITE = "https://staging.zulip.com"