mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 05:23:35 +00:00
[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)
This commit is contained in:
@@ -37,9 +37,9 @@ def update_deployment(server, refname):
|
||||
"/home/humbug/humbug-deployments/current/tools/update-deployment", refname])
|
||||
|
||||
def send_deployment_finished_humbug(branch, message):
|
||||
subprocess.check_call(["/home/humbug/humbug/api/bin/humbug-send", "--user=humbug+commits@humbughq.com",
|
||||
subprocess.check_call(["/home/humbug/humbug/api/bin/humbug-send", "--user=commit-bot@zulip.com",
|
||||
"--api-key=xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx", "--stream=commits",
|
||||
"--site=https://staging.humbughq.com",
|
||||
"--site=https://staging.zulip.com",
|
||||
u"--subject=deploy \u21D2 %s" % (branch,), "--message=%s" % (message,)])
|
||||
|
||||
deployments = {
|
||||
|
||||
Reference in New Issue
Block a user