From 54c66426764057e40d1e9b317493e08b02552613 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 20 Sep 2019 12:05:34 +0200
Subject: [PATCH] mypy: ignore django-stubs, needed only by hypothesis

---
 mypy.ini | 3 +++
 tox.ini  | 1 -
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/mypy.ini b/mypy.ini
index 795fc2ba..656d7bb3 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -5,6 +5,9 @@ warn_unused_ignores = True
 
 # 3rd party libraries without stubs (yet)
 
+[mypy-django.*]  # false positive, only used my hypotesis' extras
+ignore_missing_imports = True
+
 [mypy-pkg_resources.*]
 ignore_missing_imports = True
 
diff --git a/tox.ini b/tox.ini
index 39200eda..a33e8cee 100644
--- a/tox.ini
+++ b/tox.ini
@@ -20,6 +20,5 @@ skip_install = true
 deps =
   .[testing]
   mypy
-  django-stubs
 commands =
   mypy swh
-- 
GitLab