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

mypy: Add type: ignores for optparse.OptionGroup.

Browse source 
Typeshed has already fixed this upstream (Description is optional)
This commit is contained in:
Jordan Gedney 2017-05-22 13:09:11 -04:00 committed by Tim Abbott
parent 00dbd26500
commit f124531a88
3 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
bin/zulip-send
View file

@ -78,7 +78,7 @@ def main(argv=None):
parser.add_option('-m', '--message', parser.add_option('-m', '--message',
help='Specifies the message to send, prevents interactive prompting.') help='Specifies the message to send, prevents interactive prompting.')
group = optparse.OptionGroup(parser, 'Stream parameters') group = optparse.OptionGroup(parser, 'Stream parameters') # type: ignore # https://github.com/python/typeshed/pull/1248
group.add_option('-s', '--stream', group.add_option('-s', '--stream',
dest='stream', dest='stream',
action='store', action='store',

2
bots/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") jabber_group = optparse.OptionGroup(parser, "Jabber configuration") # type: ignore # https://github.com/python/typeshed/pull/1248
jabber_group.add_option( jabber_group.add_option(
'--jid', '--jid',
default=None, default=None,

2
zulip/__init__.py
View file

@ -105,7 +105,7 @@ def _default_client():
def generate_option_group(parser, prefix=''): def generate_option_group(parser, prefix=''):
# type: (optparse.OptionParser, str) -> optparse.OptionGroup # type: (optparse.OptionParser, str) -> optparse.OptionGroup
group = optparse.OptionGroup(parser, 'Zulip API configuration') group = optparse.OptionGroup(parser, 'Zulip API configuration') # type: ignore # https://github.com/python/typeshed/pull/1248
group.add_option('--%ssite' % (prefix,), group.add_option('--%ssite' % (prefix,),
dest="zulip_site", dest="zulip_site",
help="Zulip server URI", help="Zulip server URI",