From e6d1114f5bc3ddc0c05c08d5dcb0a9ce4c330093 Mon Sep 17 00:00:00 2001
From: Dominic <yobmod@gmail.com>
Date: Mon, 19 Jul 2021 14:00:07 +0100
Subject: Delete mypy.ini

---
 mypy.ini | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 mypy.ini

diff --git a/mypy.ini b/mypy.ini
deleted file mode 100644
index 67397d40..00000000
--- a/mypy.ini
+++ /dev/null
@@ -1,14 +0,0 @@
-
-[mypy]
-
-# TODO: enable when we've fully annotated everything
-# disallow_untyped_defs = True
-no_implicit_optional = True
-warn_redundant_casts = True
-# warn_unused_ignores = True
-# warn_unreachable = True
-pretty = True
-
-# TODO: remove when 'gitdb' is fully annotated
-[mypy-gitdb.*]
-ignore_missing_imports = True
-- 
cgit v1.2.1