Reminder to remove library from pyrightconfig (#14377)

This commit is contained in:
Semyon Moroz
2025-07-11 11:43:03 +00:00
committed by GitHub
parent 126b06fc32
commit c1299e3a35
+2 -1
View File
@@ -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"