mypy: Annotate *bots/githook-post-receive*

api/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)

tools/run-mypy

@@ -37,7 +37,6 @@ api/integrations/svn/post-commit
 api/integrations/twitter/twitter-bot
 api/integrations/twitter/twitter-search-bot
 api/zulip/__init__.py
-bots/githook-post-receive
 bots/jabber_mirror_backend.py
 bots/zephyr_mirror_backend.py
 tools/deprecated/inject-messages/inject-messages