diff --git a/setup.cfg b/setup.cfg
index df52ce424..884eb70ae 100644
--- a/setup.cfg
+++ b/setup.cfg
@@ -29,3 +29,8 @@ check_untyped_defs = True
 
 [mypy-kitty.rc.*]
 disallow_untyped_defs = True
+
+[mypy-conf]
+# ignored because on the CI server sphinx type stubs are available somehow, but
+# not on my dev machine
+warn_unused_ignores = False