Google Code-in

Help add mypy annotations to the Zulip's interactive bots! This is a great way to practice git, git grep, and efficiently using a powerful editor, as well as getting familiar with the code review process.

Instructions for the mypy annotation task are at https://github.com/zulip/zulip-gci/blob/master/tasks/2017/mypy-annotations.md

For this task, do Task Type B for the following bots:

• github_detail
• googlesearch
• help