diff options
author | Ryan Egesdahl <ryan.egesdahl@mongodb.com> | 2020-08-27 11:05:57 -0700 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2020-09-01 01:19:35 +0000 |
commit | ca4df25002a60910b38bfdd8d71eb5bff5a79b49 (patch) | |
tree | a5a0c9693dc5a07a4914b51ed56a0b8bd14a211d /.mypy.ini | |
parent | c70016c56f4f34ba09f4975fbf5bb3ac5129b5f7 (diff) | |
download | mongo-ca4df25002a60910b38bfdd8d71eb5bff5a79b49.tar.gz |
SERVER-50592 Update mypy and GitPython pip requirements
Update the mypy and GitPython pip modules that are required for linting
builds before commits to compatible versions rather than hard version
requirements.
Diffstat (limited to '.mypy.ini')
-rw-r--r-- | .mypy.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.mypy.ini b/.mypy.ini index a3917513153..6c6bf55f4c3 100644 --- a/.mypy.ini +++ b/.mypy.ini @@ -9,6 +9,9 @@ follow_imports = silent # This will limit effectiveness but avoids mypy complaining about running code. ignore_missing_imports = True +# Make None compatible with every type (the default prior to v 0.600) +strict_optional = False + [mypy-idl.*] # Error if any code is missing type annotations. disallow_untyped_defs = True |