Skip to content

Conversation

@per1234
Copy link
Contributor

@per1234 per1234 commented Jun 29, 2021

Follow-up to #128

@fabianoriccardi
Copy link
Contributor

I see the merge, but if I look at https://downloads.arduino.cc/libraries/library_index.json I see the old repository URL. Is there a new updated URL for the library index?

@per1234
Copy link
Contributor Author

per1234 commented Jul 18, 2021

Hi @fabianoriccardi. The Library Manager index maintainers have not yet gotten to making the necessary changes to the index that will allow merging this pull request. So the old URL still being in https://downloads.arduino.cc/libraries/library_index.json is expected. If you are not already, I recommend you to subscribe to this pull request so that you will get a notification when it is merged. The URL will be updated in the index shortly after that.

In the meantime, even though it's best to update the index, GitHub does automatically sets up a redirect from the old URL when a repository name is changed. So any new releases of your library should continue to be picked up by the indexer just as always.

@fabianoriccardi
Copy link
Contributor

Hi, I know about the redirect policy of Github when users change their name or the repository names.
I asked because I have seen my pull request merged on main branch, and I didn't noticed the production branch. Thanks!

per1234 added 2 commits July 28, 2021 02:06
The repository name was changed again, so this is an update on the URL change made in the previous commit.
@rsora rsora merged commit 1670fe6 into arduino:production Jul 30, 2021
@rsora rsora added the topic: modification Change existing list entry label Sep 22, 2021
@per1234 per1234 deleted the url-update-128 branch September 23, 2021 18:04
@per1234 per1234 added the topic: URL change Change library repository URL label Apr 29, 2023
@per1234 per1234 removed the topic: URL change Change library repository URL label Oct 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: modification Change existing list entry

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants