Closed galarb closed 1 year ago
Hi @galarb. Your pull request has been detected as something other than a Library Manager submission. A maintainer will need to review it before it can be merged.
If you intended to submit a library, please check the instructions and update your pull request if necessary: https://github.com/arduino/library-registry/blob/main/README.md#instructions
:x: ERROR: Arduino Lint found errors with https://github.com/galarb/clicli:
Linting library in clicli
ERROR: Library name clicli not found in the Library Manager index. Library names are not allowed to change after being
added to the index.
See: https://github.com/arduino/library-registry/blob/main/FAQ.md#how-can-i-change-a-librarys-name
(Rule LP018)
WARNING: No license file found.
See:
https://docs.github.com/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository
(Rule LD002)
WARNING: No example sketches found. Please provide examples.
See: https://arduino.github.io/arduino-cli/latest/library-specification/#library-examples
(Rule LD004)
Linter results for project: 1 ERRORS, 2 WARNINGS
-------------------
Thanks for your interest in contributing to the Arduino Library Manager index @galarb Please resolve the error(s) mentioned in the previous comment.
After resolving the issue, trigger this check again by doing one of the following:
@ArduinoBot
in the comment.:exclamation: NOTE: It is not necessary to open a new pull request. :exclamation:
More information: https://github.com/arduino/library-registry/blob/main/README.md#if-the-problem-is-with-the-pull-request
Closing as duplicate of https://github.com/arduino/library-registry/pull/1928
@ArduinoBot
Best Regards, Gal Arbel
Mobile: +972 502158529
On 29 Sep 2022, at 18:22, per1234 @.***> wrote:
@ArduinoBot
Hello @galarb. As I already explained to you, the automated system here only operates on open pull requests. Since your submission was already accepted and the pull request merged, the bot won't pay any more attention to this pull request.
Was there something you needed from the bot?
:x: ERROR: Your submission meets all requirements. However, the pull request could not be merged.
Please follow this guide to resolve a merge conflict: https://docs.github.com/github/collaborating-with-issues-and-pull-requests/resolving-a-merge-conflict-on-github
Once that is done, it will be merged automatically.