Skip to content

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

Open
donBarbos opened this issue Apr 12, 2025 · 3 comments
Open

Remove usersettings #13821

donBarbos opened this issue Apr 12, 2025 · 3 comments

Comments

@donBarbos
Copy link
Contributor

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.

@JelleZijlstra
Copy link
Member

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?

@donBarbos
Copy link
Contributor Author

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.

@Avasam
Copy link
Collaborator

Avasam commented Apr 16, 2025

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)

the upstream package was declared or appears to be unmaintained, and retaining the stubs causes maintenance issues in typeshed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants