diff --git a/tools/run-mypy b/tools/run-mypy index cafb267..d31e0fb 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -19,7 +19,6 @@ os.chdir(os.path.dirname(TOOLS_DIR)) sys.path.append(os.path.dirname(TOOLS_DIR)) exclude = """ -zulip/integrations/irc/irc_mirror_backend.py zulip/integrations/log2zulip/log2zulip zulip/integrations/perforce/zulip_perforce_config.py zulip/integrations/perforce/git_p4.py diff --git a/zulip/integrations/irc/irc_mirror_backend.py b/zulip/integrations/irc/irc_mirror_backend.py index 3a4cb36..8f9f2a4 100644 --- a/zulip/integrations/irc/irc_mirror_backend.py +++ b/zulip/integrations/irc/irc_mirror_backend.py @@ -1,6 +1,7 @@ import irc.bot import irc.strings from irc.client import ip_numstr_to_quad, ip_quad_to_numstr, Event, ServerConnection +from typing import Any, Dict IRC_DOMAIN = "irc.example.com"