From e6482354ddb8e28a7a6ed3742c72ed6880370c82 Mon Sep 17 00:00:00 2001 From: Shantanu <12621235+hauntsaninja@users.noreply.github.com> Date: Wed, 6 Jul 2022 12:41:05 +0530 Subject: [PATCH] Suggest updating mypy on stub removals (#8049) Co-authored-by: hauntsaninja <> --- CONTRIBUTING.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 29d274f06..b94959b02 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -562,6 +562,9 @@ steps: 4. When a new version of the package was automatically uploaded to PyPI (which usually takes up to 3 hours), open a PR to remove the stubs. +If feeling kindly, please update [mypy](https://github.com/python/mypy/blob/master/mypy/stubinfo.py) +for any stub obsoletions or removals. + ## Maintainer guidelines The process for preparing and submitting changes also applies to