-
-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Correcting name and link of library #998
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
Comments
Hi @nseidle. Although we require submissions to be made via PRs (in order to take advantage of the automated submissions handling system), it is fine to make registry maintenance requests like this by submitting an issue. The requested change is now in progress. Unlike submissions, this type of request is still handled manually. The Library Manager index maintainer occasionally comes through to clear all the outstanding requests and will close this request issue when that is done. |
Thanks per1234. The new automated lib process is a great improvement. I wish there was a 'buy me a coffee' jar for the 'Library Manager index maintainer' since it was our mistake. I worry we have another ~5 repos that need renaming. If there's anything we can do to make it easier, please let me know. |
Haha. @umbynos is taking that role lately and surely deserving some coffee breaks for this excellent work.
No worries. We have the system very streamlined now and are always happy to help out in the maintenance of this amazing resource created through the work of the entire Arduino community.
The issues are just fine. We strive to make the system as simple for the library maintainers to use as possible. If you are interested in the boring details. You can see the changes in this repository made to accommodate this request here:
The file So it is a quick and simple operation for someone familiar with the system like me, but the library maintainer's time would most likely be better spent on their library. But of course people are welcome to submit PRs directly if they prefer that approach. |
Hi - I need to change the name of an existing library.
https://github.com/sparkfun/SparkFun_Si701_Breakout_Arduino_Library
Became
https://github.com/sparkfun/SparkFun_Si7021_Arduino_Library
library.properties has been updated and a release made.
I can do a PR with the name correction but it's not clear from the docs if a PR is required, or just the issue raise.
The text was updated successfully, but these errors were encountered: