-
-
Notifications
You must be signed in to change notification settings - Fork 1.9k
chore: add new unified repo to library manager #4357
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
Conversation
Arduino Lint has suggestions for possible improvements to https://github.com/leaphy-robotics/leaphy-extensions:
|
Your submission has now been accepted! Thanks for your contribution to the Arduino Library Manager index. The library(s) will be available for installation via Library Manager within a day's time. You can check the logs from the Library Manager indexer for your library(s) here: |
Hello @koen1711. 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. But this human is happy to provide assistance. Was there something you needed from the bot? |
Hi thank you for your response, I kinda got a little impatient and reading this I thought to get the new version out faster I had the ping the bot. But thank you so much man!!! |
No description provided.