Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

webhooks/gci: Fix missing mypy annotation.

This commit is contained in:
Tim Abbott 2017-11-28 14:08:44 -08:00
parent bea653fabc
commit d5bb45db60
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
zerver/webhooks/gci/view.py
View File

@ -12,7 +12,7 @@ GCI_MESSAGE_TEMPLATE = u'**{actor}** {action} the task [{task_name}]({task_url})
GCI_SUBJECT_TEMPLATE = u'{student_name}'
def build_instance_url(instance_id):
def build_instance_url(instance_id: str) -> str:
return "https://codein.withgoogle.com/dashboard/task-instances/{}/".format(instance_id)
class UnknownEventType(Exception):