summaryrefslogtreecommitdiff
path: root/mypy.ini
diff options
context:
space:
mode:
Diffstat (limited to 'mypy.ini')
-rw-r--r--mypy.ini5
1 files changed, 5 insertions, 0 deletions
diff --git a/mypy.ini b/mypy.ini
index 8f86a6af..67397d40 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -3,6 +3,11 @@
# 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.*]