diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 1df9c33807e7..290a655e6fe1 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"