From 5c0f88d1e10d14fdc7ece4f1359bef3b47dfe15a Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Fri, 27 Oct 2023 17:42:54 -0700
Subject: [PATCH] mypy: Improve configuration.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 pyproject.toml | 40 +++++++++++++++++++++++++++++++++++++++-
 1 file changed, 39 insertions(+), 1 deletion(-)

diff --git a/pyproject.toml b/pyproject.toml
index ed139d0c..3788f99f 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -16,13 +16,23 @@ line_length = 100
 [tool.mypy]
 mypy_path = [
     "$MYPY_CONFIG_FILE_DIR/stubs",
+    "$MYPY_CONFIG_FILE_DIR/tools",
     "$MYPY_CONFIG_FILE_DIR/zulip",
+    "$MYPY_CONFIG_FILE_DIR/zulip/integrations/bridge_between_zulips",
+    "$MYPY_CONFIG_FILE_DIR/zulip/integrations/bridge_with_irc",
+    "$MYPY_CONFIG_FILE_DIR/zulip/integrations/bridge_with_slack",
+    "$MYPY_CONFIG_FILE_DIR/zulip/integrations/codebase",
+    "$MYPY_CONFIG_FILE_DIR/zulip/integrations/git",
+    "$MYPY_CONFIG_FILE_DIR/zulip/integrations/openshift",
+    "$MYPY_CONFIG_FILE_DIR/zulip/integrations/perforce",
+    "$MYPY_CONFIG_FILE_DIR/zulip/integrations/svn",
+    "$MYPY_CONFIG_FILE_DIR/zulip/integrations/trac",
+    "$MYPY_CONFIG_FILE_DIR/zulip/integrations/zephyr",
     "$MYPY_CONFIG_FILE_DIR/zulip_bots",
     "$MYPY_CONFIG_FILE_DIR/zulip_botserver",
 ]
 explicit_package_bases = true
 
-incremental = true
 scripts_are_modules = true
 show_traceback = true
 
@@ -47,6 +57,34 @@ enable_error_code = [
 # Other options.
 warn_unreachable = true
 
+[[tool.mypy.overrides]]
+module = [
+    "apiai.*",
+    "feedparser.*",
+    "gitlint.*",
+    "googleapiclient.*",
+    "irc.*",
+    "mercurial.*",
+    "nio.*",
+    "oauth2client.*",
+    "pysvn.*",
+    "scripts.*",
+    "setuptools.*",
+    "simple_salesforce.*",
+    "slack_sdk.*",
+    "sleekxmpp.*",
+    "trac.*",
+    "twitter.*",
+    "wit.*",
+]
+ignore_missing_imports = true
+
+[[tool.mypy.overrides]]
+module = [
+    "git_p4",
+]
+ignore_errors = true
+
 [tool.pytest.ini_options]
 pythonpath = [
     "zulip",