-
-
Notifications
You must be signed in to change notification settings - Fork 1.7k
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
Update URL for "Mosiwi_Basic_Learning_Kit" in repositories list #3644
Update URL for "Mosiwi_Basic_Learning_Kit" in repositories list #3644
Conversation
The repository has been renamed. The URL in the repositories list is updated accordingly to avoid a reliance on the redirect.
Hi @per1234. 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/Mosiwi/Mosiwi-basic-learning-kit:
|
Thanks for your interest in contributing to the Arduino Library Manager index @per1234 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: |
This error is expected and will be resolved by #3645 |
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:
2023/11/29 15:44:15 Loaded 6415 libraries from DB
Removing Mosiwi Basic Learning Kit
Success!
The repository has been renamed. The URL in the repositories list is updated accordingly to avoid a reliance on the redirect.
This was originally requested via #3639, but that PR was closed by the library maintainer and could not be reopened due to the head branch having been deleted.