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

zulip_bots: Add directory for unmaintained bots.

Browse source
This commit is contained in:
derAnfaenger 2017-11-02 14:47:28 +01:00
parent cfb767ad0f
commit 80534a50b6
2 changed files with 23 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tools/run-mypy
View file

@ -24,6 +24,7 @@ exclude = [
# Excluded because we don't want to require bot authors to
# fully annotate their bots.
"zulip_bots/zulip_bots/bots",
"zulip_bots/zulip_bots/bots_unmaintained",
]
parser = argparse.ArgumentParser(description="Run mypy on files tracked by git.")