-
-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Update repositories.txt by adding Ligtht Task scheduler #6245
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 @belem2050. 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/belem2050/LightTaskScheduler:
|
Thanks for your interest in contributing to the Arduino Library Manager index @belem2050 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.
Hello @belem2050. 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.
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
Hello! I'm checking your submission again. |
Hi @belem2050. 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/belem2050/LightTaskScheduler:
|
Thanks for your interest in contributing to the Arduino Library Manager index @belem2050 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: |
@per1234 , thanks for your reactivity. It is true that I've changed the the repository name but I've also fixed typo that came into equation while committing. So I fixed it and wanted to deletethe first added lib in order to have it starting from version 1.0.0. That was why I asked for a lib removal. I don't know the under hood but I think if we just change the the url, it still won't work when it will be available in production. |
Just fix the bug, bump the version, then make a new release of the library. You can do that by following the instructions here: |
No description provided.