diff options
| author | yobmod <yobmod@gmail.com> | 2021-05-03 15:59:07 +0100 |
|---|---|---|
| committer | yobmod <yobmod@gmail.com> | 2021-05-03 15:59:07 +0100 |
| commit | 6752fad0e93d1d2747f56be30a52fea212bd15d6 (patch) | |
| tree | a0618d53d06f35d7326fcacdcaf1832d7ab55b8c /mypy.ini | |
| parent | 2fd9f6ee5c8b4ae4e01a40dc398e2768d838210d (diff) | |
| download | gitpython-6752fad0e93d1d2747f56be30a52fea212bd15d6.tar.gz | |
add initial types to remote.py
Diffstat (limited to 'mypy.ini')
| -rw-r--r-- | mypy.ini | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -1,6 +1,9 @@ [mypy] -disallow_untyped_defs = True +# TODO: enable when we've fully annotated everything +#disallow_untyped_defs = True -mypy_path = 'git' +# TODO: remove when 'gitdb' is fully annotated +[mypy-gitdb.*] +ignore_missing_imports = True |