From 3e55124f4e1ecda0d368d6491c7423ef6fd20f06 Mon Sep 17 00:00:00 2001 From: "neiljp (Neil Pilgrim)" Date: Wed, 15 Nov 2017 09:02:07 -0800 Subject: [PATCH] mypy: Remove 'type: ignore's now that python/mypy#1248 is fixed. --- zulip/integrations/jabber/jabber_mirror_backend.py | 2 +- zulip/zulip/__init__.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/zulip/integrations/jabber/jabber_mirror_backend.py b/zulip/integrations/jabber/jabber_mirror_backend.py index 1679be7..1ca3830 100755 --- a/zulip/integrations/jabber/jabber_mirror_backend.py +++ b/zulip/integrations/jabber/jabber_mirror_backend.py @@ -360,7 +360,7 @@ option does not affect login credentials.'''.replace("\n", " ")) const=logging.DEBUG, default=logging.INFO) - jabber_group = optparse.OptionGroup(parser, "Jabber configuration") # type: ignore # https://github.com/python/typeshed/pull/1248 + jabber_group = optparse.OptionGroup(parser, "Jabber configuration") jabber_group.add_option( '--jid', default=None, diff --git a/zulip/zulip/__init__.py b/zulip/zulip/__init__.py index 6081d8e..5e77afb 100644 --- a/zulip/zulip/__init__.py +++ b/zulip/zulip/__init__.py @@ -181,7 +181,7 @@ def generate_option_group(parser, prefix=''): is now deprecated. We recommend migrating to argparse and using zulip.add_default_arguments instead.""") - group = optparse.OptionGroup(parser, 'Zulip API configuration') # type: ignore # https://github.com/python/typeshed/pull/1248 + group = optparse.OptionGroup(parser, 'Zulip API configuration') group.add_option('--%ssite' % (prefix,), dest="zulip_site", help="Zulip server URI",