Skip to content
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 of "digiedge_frame_generator" #3205

Closed
HoussamElbiade opened this issue Aug 10, 2023 · 3 comments · Fixed by #3207
Closed

Update URL of "digiedge_frame_generator" #3205

HoussamElbiade opened this issue Aug 10, 2023 · 3 comments · Fixed by #3207
Assignees
Labels
conclusion: resolved Issue was resolved topic: URL change Change library repository URL

Comments

@HoussamElbiade
Copy link
Contributor

HoussamElbiade commented Aug 10, 2023

Please update the URL for the Digiedge library in my project. Previously, I was using the URL:

https://github.com/HoussamElbiade/Digiedge_frame_generator

However, I have now switched to using a different repository for hosting the library:

https://github.com/DIGI-EDGE/DPE-TRAM-GEN
@per1234 per1234 self-assigned this Aug 10, 2023
@per1234 per1234 transferred this issue from arduino/Arduino Aug 10, 2023
@per1234 per1234 added the topic: URL change Change library repository URL label Aug 10, 2023
@per1234 per1234 changed the title Update an existing library in Library Manager Update URL of "digiedge_frame_generator" Aug 10, 2023
@per1234
Copy link
Contributor

per1234 commented Aug 11, 2023

Hi @HoussamElbiade. 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 Aug 11, 2023
@HoussamElbiade
Copy link
Contributor Author

Hi @per1234
thanks for your response, I'm waiting for the update

@MatteoPologruto
Copy link
Contributor

Done:

2023/08/14 09:16:11 Loaded 6083 libraries from DB
Changing URL of library digiedge_frame_generator from https://github.com/HoussamElbiade/Digiedge_frame_generator.git to https://github.com/DIGI-EDGE/DPE-TRAM-GEN.git
Success!

@MatteoPologruto MatteoPologruto added the conclusion: resolved Issue was resolved label Aug 14, 2023
@per1234 per1234 removed the status: pending backend Depends on backend maintenance operations label Oct 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: resolved Issue was resolved topic: URL change Change library repository URL
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants