From 075e3688183a64719fdf348531a0c224569d3e41 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Thu, 26 Oct 2017 23:02:52 -0700 Subject: [PATCH] run-mypy: Document why certain files are not mypy-checked. --- tools/run-mypy | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/tools/run-mypy b/tools/run-mypy index 5b8a79a..6982ee4 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -18,10 +18,13 @@ os.chdir(os.path.dirname(TOOLS_DIR)) sys.path.append(os.path.dirname(TOOLS_DIR)) -exclude = """ -zulip/integrations/perforce/git_p4.py -zulip_bots/zulip_bots/bots -""".split() +exclude = [ + # Excluded because it's third-party code. + "zulip/integrations/perforce/git_p4.py", + # 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.add_argument('targets', nargs='*', default=[],