-
-
Notifications
You must be signed in to change notification settings - Fork 2.2k
Removing libraries from Library Manager #7113
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
base: main
Are you sure you want to change the base?
Conversation
Hi @Lzw655. If you intended to submit a library, please check the instructions and update your pull request if necessary: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hi @Lzw655. Your pull request doesn't contain any changes to the contents of the repository.
If you want to remove a library from Library Manager, you must submit a pull request that removes the library's repository URL from the repositories.txt
file.
Please correct the pull request so we can proceed to accommodate your removal request.
Hi @Lzw655. If you intended to submit a library, please check the instructions and update your pull request if necessary: |
Sorry, it's corrected now. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hello @Lzw655. I am confirming your request.
Unlike submissions, this type of request is still handled manually. The Library Manager index maintainer occasionally comes through to clear all the outstanding requests. They will merge this pull request when it is done. You will get a notification from GitHub at that time.
As the code structures of these two repositories have become increasingly complex, they have become more and more difficult to be compatible with the Arduino platform. Therefore, they are requested to be removed from the registry. Sorry for any inconvenience caused.