summaryrefslogtreecommitdiff
path: root/mypy.ini
diff options
context:
space:
mode:
authorSebastian Thiel <sebastian.thiel@icloud.com>2021-07-19 23:25:48 +0800
committerGitHub <noreply@github.com>2021-07-19 23:25:48 +0800
commitacbd6bad9ded9a1d59e80e71d334d64b0244f5cd (patch)
treec7e162bb6962be9f33b9f7edb84da1b7511fe0d7 /mypy.ini
parent06c219929a427737b43c5dfd5359019f2c110d41 (diff)
parentf587b21a98e7c26986db87d991af42cafcfebb07 (diff)
downloadgitpython-acbd6bad9ded9a1d59e80e71d334d64b0244f5cd.tar.gz
Merge pull request #1294 from gitpython-developers/tidy-tools
Tidy tools
Diffstat (limited to 'mypy.ini')
-rw-r--r--mypy.ini14
1 files changed, 0 insertions, 14 deletions
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