-
-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Change library name #4750
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
Change library name #4750
Conversation
We need to change the library name because a rebranding of the product associated to the library.
Hi @krosDC. If you intended to submit a library, please check the instructions and update your pull request if necessary: |
❌ ERROR: Arduino Lint found errors with https://github.com/DigitalCodesign/MentorBit-Library:
|
Thanks for your interest in contributing to the Arduino Library Manager index @krosDC After resolving the issue, trigger this check again by doing one of the following:
❗ NOTE: It is not necessary to open a new pull request. ❗ More information: |
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 @krosDC. 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 close this issue when it is done. You will get a notification from GitHub at that time.
After that, you can monitor the indexing of the library via its dedicated logs web page.
Information about that here:
https://github.com/arduino/library-registry/blob/main/FAQ.md#can-i-check-on-library-releases-being-added-to-library-manager
This error from the linter is expected and will be resolved by the registered name update provided by #4753 |
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.
Done:
2024/07/18 14:52:14 Loaded 7156 libraries from DB
Removing DC-Core-Library
Success!
We need to change the library name because a rebranding of the product associated to the library.