From 9abd332c07e9656d03e9813c8fccf944fa5d9101 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Wed, 27 Jan 2016 16:14:13 -0800 Subject: [PATCH] Add type: ignore for mock.Mock() monkey-patching. --- zerver/decorator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zerver/decorator.py b/zerver/decorator.py index d904627a34..ad04bda21e 100644 --- a/zerver/decorator.py +++ b/zerver/decorator.py @@ -30,7 +30,7 @@ if settings.ZULIP_COM: else: from mock import Mock get_deployment_by_domain = Mock() - Deployment = Mock() + Deployment = Mock() # type: ignore # https://github.com/JukkaL/mypy/issues/1188 def get_deployment_or_userprofile(role): return get_user_profile_by_email(role) if "@" in role else get_deployment_by_domain(role)