diff options
| -rw-r--r-- | mypy.ini | 14 |
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 |