From a499a22383521f6f47abb3015de966812d771e68 Mon Sep 17 00:00:00 2001
From: Athanasius <Athanasius@miggy.org>
Date: Fri, 23 Dec 2022 13:02:40 +0000
Subject: [PATCH] .mypy.ini: Set `follow_imports` explicitly to `normal`
 default

We'd been using `skip` because when we started with mypy next to nothing
passed it, and checking one file would spew errors with other files and it
just wasn't conducive to making at least *some* progress.

But now we should have every single file passing, so this is the right thing
to do.
---
 .mypy.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.mypy.ini b/.mypy.ini
index d3a0d2e2..75f4ccdb 100644
--- a/.mypy.ini
+++ b/.mypy.ini
@@ -1,5 +1,5 @@
 [mypy]
-follow_imports = skip
+follow_imports = normal
 ignore_missing_imports = True
 scripts_are_modules = True
 ; Without this bare `mypy <file>` may get warnings for e.g.