From abff2292c16724309d1533092ab6bc03d3bb0bdf Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Mon, 9 Mar 2020 18:37:23 +0530
Subject: [PATCH] Workaround for sphinx type info being available magically on
 the CI server

---
 setup.cfg | 5 +++++
 1 file changed, 5 insertions(+)

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