mypy: Remove 'type: ignore's now that python/mypy#1248 is fixed.
MODIFY
zulip/integrations/jabber/jabber_mirror_backend.py
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,

MODIFY
zulip/zulip/__init__.py
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",

mypy: Remove 'type: ignore's now that python/mypy#1248 is fixed.