Update repositories.txt

[salernosimone]

Changed URL for tinyml4all library due to account switching

[github-actions]

Hi @salernosimone.
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

[github-actions]

A problem was found with your submission https://github.com/salernosimone/tinyml4all-arduino

❌ ERROR: The repository has no tags. You need to create a release or tag that matches the version value in the library's library.properties file.

[github-actions]

Thanks for your interest in contributing to the Arduino Library Manager index @salernosimone
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

[salernosimone]

I fixed the tag error in the meantime.

[per1234]

@ArduinoBot please check it again.

[github-actions]

Hello! I'm checking your submission again.

[github-actions]

Hi @per1234.
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]

Hi @salernosimone. Before I can proceed with your request, I need to verify that it is authorized by the owner of the previous eloquentarduino/tinyml4all-arduino repository.

Although we allow everyone to submit libraries to the registry, we only change existing registrations when submitted by the library maintainer, or with their approval.

I don't doubt that you are also the owner of the @eloquentarduino account, but I must also be vigilant against the possibility of impersonation. So please provide some verification that this request is approved by @eloquentarduino. You can do that by commenting on the pull request thread using the @eloquentarduino account. Or you are welcome to provide some alternative verification if that is inconvenient for you.

[eloquentarduino]

Here I am. I suspected you need some kind of confirmation. Go ahead please

[per1234]

Thanks for the verification. 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 merge this pull request 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

[github-actions]

Hi @salernosimone.
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

[MatteoPologruto]

Done:

2025/04/18 13:57:00 Loaded 7936 libraries from DB
Changing URL of library tinyml4all from https://github.com/eloquentarduino/tinyml4all-arduino.git to https://github.com/salernosimone/tinyml4all-arduino.git
Success!