run-mypy: Document why certain files are not mypy-checked.
This commit is contained in:
parent
25d6c68d4d
commit
075e368818
|
@ -18,10 +18,13 @@ os.chdir(os.path.dirname(TOOLS_DIR))
|
||||||
|
|
||||||
sys.path.append(os.path.dirname(TOOLS_DIR))
|
sys.path.append(os.path.dirname(TOOLS_DIR))
|
||||||
|
|
||||||
exclude = """
|
exclude = [
|
||||||
zulip/integrations/perforce/git_p4.py
|
# Excluded because it's third-party code.
|
||||||
zulip_bots/zulip_bots/bots
|
"zulip/integrations/perforce/git_p4.py",
|
||||||
""".split()
|
# Excluded because we don't want to require bot authors to
|
||||||
|
# fully annotate their bots.
|
||||||
|
"zulip_bots/zulip_bots/bots",
|
||||||
|
]
|
||||||
|
|
||||||
parser = argparse.ArgumentParser(description="Run mypy on files tracked by git.")
|
parser = argparse.ArgumentParser(description="Run mypy on files tracked by git.")
|
||||||
parser.add_argument('targets', nargs='*', default=[],
|
parser.add_argument('targets', nargs='*', default=[],
|
||||||
|
|
Loading…
Reference in a new issue