Update repositories.txt

[boby15000]

Bonjour,

Je propose l'ajout de la bibliothèque Tempo dans le gestionnaire officiel Arduino Library Manager.

• Dépôt GitHub : https://github.com/boby15000/Tempo
• Version taguée : v1.6.0
• Description : Bibliothèque Arduino simple pour la gestion de temporisations non bloquantes avec pause, restart, callbacks et unités multiples.
• Compatible avec toutes architectures Arduino.

Merci pour votre examen !

Cordialement,
Nicolas Fourgheon

[github-actions]

A problem was found with your submission https://github.com/boby15000/Tempo.git

❌ ERROR: Submission URL is already in the Library Manager index.

[github-actions]

Thanks for your interest in contributing to the Arduino Library Manager index @boby15000
Please resolve the error(s) mentioned in the previous comment.

After resolving the issue, trigger this check again by doing one of the following:

• Commit the required change to the branch you submitted this pull request from.
• Comment here, mentioning @ArduinoBot in the comment.

❗ NOTE: It is not necessary to open a new pull request. ❗

More information:
https://github.com/arduino/library-registry/blob/main/README.md#if-the-problem-is-with-the-pull-request

[boby15000]

La library est déjà ajouté. Il s'agit d'une mise à jour de version.

[github-actions]

Hi @boby15000.
Your pull request has been detected as something other than a Library Manager submission.
A maintainer will need to review it before it can be merged.

If you intended to submit a library, please check the instructions and update your pull request if necessary:
https://github.com/arduino/library-registry/blob/main/README.md#instructions

[per1234]

La library est déjà ajouté. Il s'agit d'une mise à jour de version.

Hello @boby15000. After the initial addition of the library, the indexer job periodically checks each of the libraries in the Arduino Library Manager Registry and picks up any new release/tag that meets the requirements listed here:

https://github.com/arduino/library-registry/blob/main/FAQ.md#what-are-the-requirements-for-publishing-new-releases-of-libraries-already-in-the-library-manager-list

This means there is no need to take any additional action to add new releases of your library to Library Manager. They will be added automagically!

So submitting a pull request like this when you make a new release is not necessary and won't accomplish anything other than wasting your time. The human maintainers of the registry monitor all activity in this repository in order to accomodate valid maintenance requests from the library maintainers, so please don't submit pointless pull requests to this repository.

It does take a little time for the indexer job to run, and then some additional time after that for the update to propagate through the CDN and the local cache. But it will get there. We give a conservative estimate of availability within one day's time.

You can monitor the indexing of the library releases by checking the library's dedicated indexer logs web page:
https://github.com/arduino/library-registry/blob/main/FAQ.md#user-content-can-i-check-on-library-releases-being-added-to-library-manager