From b4fc87745a859d236d8781ec654566ed4d7ac31c Mon Sep 17 00:00:00 2001
From: Joy Chen <joythewizard@gmail.com>
Date: Sat, 3 Dec 2016 15:58:22 -0600
Subject: [PATCH] mypy: Annotate *bots/githook-post-receive*

---
 integrations/git/post-receive | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/integrations/git/post-receive b/integrations/git/post-receive
index 0e8c088..fc25437 100755
--- a/integrations/git/post-receive
+++ b/integrations/git/post-receive
@@ -30,6 +30,7 @@
 #  aa453216d1b3e49e7f6f98441fa56946ddcd6a20 68f7abf4e6f922807889f52bc043ecd31b79f814 refs/heads/master
 
 from __future__ import absolute_import
+from typing import Text
 import os
 import sys
 import subprocess
@@ -50,6 +51,7 @@ client = zulip.Client(
     client="ZulipGit/" + VERSION)
 
 def git_repository_name():
+    # type: () -> Text
     output = subprocess.check_output(["git", "rev-parse", "--is-bare-repository"])
     if output.strip() == "true":
         return os.path.basename(os.getcwd())[:-len(".git")]
@@ -57,6 +59,7 @@ def git_repository_name():
         return os.path.basename(os.path.dirname(os.getcwd()))
 
 def git_commit_range(oldrev, newrev):
+    # type: (str, str) -> str
     log_cmd = ["git", "log", "--reverse",
                "--pretty=%aE %H %s", "%s..%s" % (oldrev, newrev)]
     commits = ''
@@ -69,6 +72,7 @@ def git_commit_range(oldrev, newrev):
     return commits
 
 def send_bot_message(oldrev, newrev, refname):
+    # type: (str, str, str) -> None
     repo_name   = git_repository_name()
     branch      = refname.replace('refs/heads/', '')
     destination = config.commit_notice_destination(repo_name, branch, newrev)