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",