From 33733e67ba0b2779a1c403f00bb067f1e8c21c91 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Sat, 10 Sep 2016 11:48:10 -0700 Subject: [PATCH] Annotate bots/zulip_git_config.py. --- bots/zulip_git_config.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/bots/zulip_git_config.py b/bots/zulip_git_config.py index cdaaaed..4a05ab0 100644 --- a/bots/zulip_git_config.py +++ b/bots/zulip_git_config.py @@ -4,6 +4,8 @@ # Leaving all the instructions out of this file to avoid having to # sync them as we update the comments. +if False: from typing import Dict, Optional, Text + ZULIP_USER = "commit-bot@zulip.com" ZULIP_API_KEY = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" @@ -23,6 +25,7 @@ ZULIP_API_KEY = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx" # * topic "master" # And similarly for branch "test-post-receive" (for use when testing). def commit_notice_destination(repo, branch, commit): + # type: (Text, Text, Text) -> Optional[Dict[str, Text]] if branch in ["master", "prod", "test-post-receive"]: return dict(stream = 'test' if 'test-' in branch else 'commits', subject = u"%s" % (branch,)) @@ -36,6 +39,7 @@ def commit_notice_destination(repo, branch, commit): # # return '!avatar(%s) [%s](https://example.com/commits/%s)\n' % (author, subject, commit_id) def format_commit_message(author, subject, commit_id): + # type: (str, str, str) -> str return '!avatar(%s) [%s](https://git.zulip.net/eng/zulip/commit/%s)\n' % (author, subject, commit_id) ZULIP_API_PATH = "/home/zulip/zulip/api"