-
-
Notifications
You must be signed in to change notification settings - Fork 1.8k
Remove usersettings #13821
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
The cost of removing these is that if a user finds an issue with the stubs later, we'll no longer be able to easily fix it and provide a new stubs package. What is the benefit of removing the stubs? |
Sorry, I didn't know about such cost of removing stubs. I just thought that development was no longer active and I haven't seen a policy on why support in typeshed was being discontinued. |
Here's the removal policy, as currently written: https://github.com/python/typeshed/blob/main/CONTRIBUTING.md#third-party-library-removal-policy namely (emphasis mine)
|
I'll close this issue as "not planned". But feel free to argue a case for removal if keeping these stubs is causing issue! |
https://github.com/glvnst/usersettings
The last commit was in December 2020.
Stubs for
usersettings
were added in August 2023 (#10598) and have not changed since.The stubs look complete and in a good place. Maybe it's time to finish the support in typeshed.
The text was updated successfully, but these errors were encountered: