Update repositories.txt - Library name change for Alfredo_NoU3

[SaintSampo]

I'm the maintainer for this library. I am about to start distributing the board that this library is written for, and it is gonna bug me forever if this isn't fixed before the community that uses my board starts using this library. Thank you!

[github-actions]

Hi @botspace.
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/AlfredoSystems/Alfredo-NoU3

❌ ERROR: Unable to load submission URL. Is the repository public?

[github-actions]

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

[SaintSampo]

@ArduinoBot

[github-actions]

Hello! I'm checking your submission again.

[github-actions]

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

Hello @botspace. Thanks for your caring about the accuracy of the Arduino Library registry data! 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

[umbynos]

Done in #4955 (review)