From c1299e3a35c3c90c18be88a758914c3f6e33309f Mon Sep 17 00:00:00 2001 From: Semyon Moroz Date: Fri, 11 Jul 2025 11:43:03 +0000 Subject: [PATCH] Reminder to remove library from pyrightconfig (#14377) --- CONTRIBUTING.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index e18d5c4ad..ab6fc1723 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -463,7 +463,8 @@ steps: 4. When a new version of the package was automatically uploaded to PyPI (which can take up to a day), open a PR to remove the stubs. -If feeling kindly, please update [mypy](https://github.com/python/mypy/blob/master/mypy/stubinfo.py) +Don't forget to make sure the library is not in the [`pyrightconfig.stricter.json`](./pyrightconfig.stricter.json) +exclusion list. If feeling kindly, please update [mypy](https://github.com/python/mypy/blob/master/mypy/stubinfo.py) for any stub obsoletions or removals. ### Marking PRs as "deferred"