diff --git a/tools/post-receive b/tools/post-receive
index c011378cfd..5bae7d02b7 100755
--- a/tools/post-receive
+++ b/tools/post-receive
@@ -36,7 +36,7 @@ def update_deployment(server, refname):
     return subprocess.call(["ssh", server, "--", "env", "-u", "GIT_DIR",
                             "/home/humbug/humbug-deployments/current/tools/update-deployment", refname])
 
-def send_deployment_finished_humbug(branch, message):
+def send_deployment_finished_message(branch, message):
     subprocess.check_call(["/home/humbug/humbug/api/bin/humbug-send", "--user=commit-bot@zulip.com",
                            "--api-key=xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx", "--stream=commits",
                            "--site=https://staging.zulip.com",
@@ -59,9 +59,9 @@ for ln in sys.stdin:
             server, branch = deployments[refname]
             ret = update_deployment(server, branch)
             if ret == 0:
-                send_deployment_finished_humbug(branch, "deployment of `%s` finished successfully!" % (newrev[:12],))
+                send_deployment_finished_message(branch, "deployment of `%s` finished successfully!" % (newrev[:12],))
             else:
-                send_deployment_finished_humbug(branch, "deployment of `%s` failed!" % (newrev[:12],))
+                send_deployment_finished_message(branch, "deployment of `%s` failed!" % (newrev[:12],))
 
             if newrev == '0000000000000000000000000000000000000000':
                 # 0000000000000000000000000000000000000000 means we're deleting the ref