Skip to content

Update repositories.txt #2009

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

Merged
merged 1 commit into from
Oct 25, 2022
Merged

Update repositories.txt #2009

merged 1 commit into from
Oct 25, 2022

Conversation

Jeroen88
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the topic: submission Add library to the list label Oct 25, 2022
@github-actions github-actions bot merged commit 2afa3bd into arduino:main Oct 25, 2022
@github-actions
Copy link
Contributor

Your submission has now been accepted! Thanks for your contribution to the Arduino Library Manager index.

The library(s) will be available for installation via Library Manager within a day's time.

You can check the logs from the Library Manager indexer for your library(s) here:
http://downloads.arduino.cc/libraries/logs/github.com/Jeroen88/EasyOpenTherm/

github-actions bot pushed a commit that referenced this pull request Oct 25, 2022
@Jeroen88
Copy link
Contributor Author

@ArduinoBot

1 similar comment
@Jeroen88
Copy link
Contributor Author

@ArduinoBot

@per1234
Copy link
Contributor

per1234 commented Dec 27, 2022

Hello @Jeroen88. The automated system here only operates on open pull requests. Since your submission was already accepted and the pull request merged, the bot won't pay any more attention to this pull request.

But this human is happy to provide assistance. Was there something you needed from the bot?

@Jeroen88
Copy link
Contributor Author

Hi @per1234, so nice that not only bots are watching! Thank you for you reaction! I released a new version of my updated EasyOpenTherm Arduino library and thought that I should send the above comment. But from your reaction I do understand this is not needed? If I update the version in the library.properties file and push a new version to my Github main this is automatically seen by the bot? The active version should now be 1.1.0, could you confirm that? :)

@per1234
Copy link
Contributor

per1234 commented Dec 27, 2022

from your reaction I do understand this is not needed? If I update the version in the library.properties file and push a new version to my Github main this is automatically seen by the bot?

That is correct. There is some information on publishing new releases here:

https://github.com/arduino/library-registry/blob/main/FAQ.md#how-can-i-publish-a-new-release-once-my-library-is-in-the-list

The repositories are checked hourly, but since the Library Manager index is cached we give a conservative estimate of the release being available to all users everywhere within a day's time. When that doesn't happen, it is nearly always because the release was found to be non-compliant with the requirements. You can monitor the indexing at the dedicated logs web page for your library:

http://downloads.arduino.cc/libraries/logs/github.com/Jeroen88/EasyOpenTherm/

The active version should now be 1.1.0, could you confirm that?

I confirm:

Screenshot from 2022-12-27 11-51-02

@Jeroen88
Copy link
Contributor Author

@per1234 thank you so much, also for the links with information about releases. I was not aware of the automatic update of a new release. I will keep that in mind for the next release. Have a nice day!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: submission Add library to the list
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants