Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
tools: Migrate & merge mypy config into setup.cfg.
Configuration for mypy was previously loading from mypy.ini, however there was also unconnected - unused - configuration in setup.cfg. This commit mainly migrates config across from mypy.ini, as well as setting a python_version (3.6) and ignoring imports with no typing information. This was broadly the configuration (as unused) previously in setup.cfg, with the unknown import ignore now applied to all modules rather than relying upon explicit listing (based on an approach in zulip/zulip for mypy.ini). Migrating the mypy configuration into setup.cfg reduces the number of config files at the base level and reduces the potential confusion over multiple configuration locations which were previously present. One marginal benefit is also that fewer root level files pushes the start of the README further up slightly on GitHub, improving its visibility.
- Loading branch information