From 8ae811a7894d2ac35378d22a8f30c2e7fffd1c78 Mon Sep 17 00:00:00 2001
From: Maximilian Roos <m@maxroos.com>
Date: Wed, 5 Oct 2022 11:16:42 -0700
Subject: [PATCH] Make `mypy` pass from the command line

---
 mypy.ini       | 4 ----
 pyproject.toml | 5 +++++
 2 files changed, 5 insertions(+), 4 deletions(-)
 delete mode 100644 mypy.ini
 create mode 100644 pyproject.toml

diff --git a/mypy.ini b/mypy.ini
deleted file mode 100644
index dfa69ae11a4..00000000000
--- a/mypy.ini
+++ /dev/null
@@ -1,4 +0,0 @@
-[mypy]
-mypy_path = third-party-stubs/
-namespace_packages = True
-exclude = plugins/*|third-party-stubs/*
diff --git a/pyproject.toml b/pyproject.toml
new file mode 100644
index 00000000000..f0034c8a9d0
--- /dev/null
+++ b/pyproject.toml
@@ -0,0 +1,5 @@
+[tool.mypy]
+exclude = ['core/build/.*']
+files = 'core'
+mypy_path = "third-party-stubs/"
+namespace_packages = true