diff options
| author | Dominic <yobmod@gmail.com> | 2021-07-19 14:00:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-19 14:00:07 +0100 |
| commit | e6d1114f5bc3ddc0c05c08d5dcb0a9ce4c330093 (patch) | |
| tree | 3a2f6141351ef368e4030a8e22884a911168c6bc | |
| parent | bce21f1bcc2537563f8c9dc062b3356d1e393586 (diff) | |
| download | gitpython-e6d1114f5bc3ddc0c05c08d5dcb0a9ce4c330093.tar.gz | |
Delete mypy.ini
| -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 |