mypy: add psycopg2 typing info from typeshed

diff --git a/.mypy.ini b/.mypy.ini
index 58aa623dd33580e064b482f2582ffba868805759..c019a55ed21f21683a001a0ea7095eeba4f8da7a 100644 (file)
--- a/.mypy.ini
+++ b/.mypy.ini
@@ -3,9 +3,6 @@
 [mypy-icu.*]
 ignore_missing_imports = True
 
-[mypy-psycopg2.*]
-ignore_missing_imports = True
-
 [mypy-psutil]
 ignore_missing_imports = True
 

diff --git a/docs/develop/Development-Environment.md b/docs/develop/Development-Environment.md
index 9abfae3765d049a040b2e61e8fe08ed5538f59fa..05bd50dede36a2d82f053fd393e862f602558f31 100644 (file)
--- a/docs/develop/Development-Environment.md
+++ b/docs/develop/Development-Environment.md
@@ -54,7 +54,7 @@ sudo apt install php-cgi phpunit php-codesniffer \
                  python3-pip python3-setuptools python3-dev
 
 pip3 install --user behave mkdocs mkdocstrings pytest \
-                    pylint mypy types-PyYAML types-jinja2
+                    pylint mypy types-PyYAML types-jinja2 types-psycopg2
 ```
 
 The `mkdocs` executable will be located in `.local/bin`. You may have to add