Skip to content

Library name change request #4810

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

Closed
matsujirushi opened this issue Jul 20, 2024 · 4 comments
Closed

Library name change request #4810

matsujirushi opened this issue Jul 20, 2024 · 4 comments
Assignees
Labels
conclusion: resolved Issue was resolved status: pending backend Depends on backend maintenance operations topic: rename Change registered library name

Comments

@matsujirushi
Copy link
Contributor

Library repository URL

https://github.com/SeeedJP/wio_cellular

@matsujirushi matsujirushi added the topic: rename Change registered library name label Jul 20, 2024
@per1234
Copy link
Contributor

per1234 commented Jul 20, 2024

Hi @matsujirushi. 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 close this issue 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

@per1234 per1234 added the status: pending backend Depends on backend maintenance operations label Jul 20, 2024
@matsujirushi
Copy link
Contributor Author

Hi,
Should I just wait?

The library name does not appear to have been changed yet.
https://downloads.arduino.cc/libraries/logs/github.com/SeeedJP/wio_cellular/

2024/07/24 23:36:34 Checking out tag: 0.1.3
2024/07/24 23:36:34 Release WioCellular:0.1.3 has wrong library name, should be Wio Cellular

@per1234
Copy link
Contributor

per1234 commented Jul 28, 2024

@matsujirushi yes, you must wait.

As I already explained, a manual process must be performed on the index in order to accommodate your request. The change in this repository is only one part of the task. As I said, the issue will be closed once the request is accommodated and GitHub will send you a notification at that time.

We will get to it as soon as we have the time to do so. Until then, please be patient.

@umbynos
Copy link
Contributor

umbynos commented Jul 29, 2024

Solved in #4812 (comment)

@umbynos umbynos closed this as completed Jul 29, 2024
@umbynos umbynos self-assigned this Jul 29, 2024
@umbynos umbynos added the conclusion: resolved Issue was resolved label Jul 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: resolved Issue was resolved status: pending backend Depends on backend maintenance operations topic: rename Change registered library name
Projects
None yet
Development

No branches or pull requests

3 participants