mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-25 09:19:32 +01:00
ca4df25002
Update the mypy and GitPython pip modules that are required for linting builds before commits to compatible versions rather than hard version requirements.
22 lines
665 B
INI
22 lines
665 B
INI
[mypy]
|
|
python_version = 3.7
|
|
|
|
disallow_untyped_defs = False
|
|
# Do not error on imported files since all imported files may not be mypy clean.
|
|
follow_imports = silent
|
|
# Do not error if imports are not found.
|
|
# This can be a problem with standalone scripts and relative imports.
|
|
# 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
|
|
|
|
[mypy-lint.*]
|
|
# Error if any code is missing type annotations.
|
|
disallow_untyped_defs = True
|