xenofem/python-zulip-api
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

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

Browse source
This commit is contained in:
neiljp (Neil Pilgrim) 2017-11-15 09:02:07 -08:00 committed by Tim Abbott
parent 03f5e9110b
commit 3e55124f4e
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zulip/integrations/jabber/jabber_mirror_backend.py
View file

@ -360,7 +360,7 @@ option does not affect login credentials.'''.replace("\n", " "))
const=logging.DEBUG, const=logging.DEBUG,
default=logging.INFO) 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( jabber_group.add_option(
'--jid', '--jid',
default=None, default=None,

2
zulip/zulip/__init__.py
View file

@ -181,7 +181,7 @@ def generate_option_group(parser, prefix=''):
is now deprecated. We recommend migrating to argparse and is now deprecated. We recommend migrating to argparse and
using zulip.add_default_arguments instead.""") 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,), group.add_option('--%ssite' % (prefix,),
dest="zulip_site", dest="zulip_site",
help="Zulip server URI", help="Zulip server URI",