Update repositories.txt

[fabianoriccardi]

I have changed github username

[github-actions]

Hi @fabianoriccardi.
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 @fabianoriccardi. The requested change is now in progress.

Unlike submissions, this type of request is still handled manually. The Library Manager index's maintainer occasionally comes through to clear all the outstanding requests and closes those issues/PRs when that is done. So you can get a notification if you're following the linked issue/PR:
#130

After that, you can monitor the indexing of the library via its logs web page:
https://github.com/arduino/library-registry/blob/main/FAQ.md#can-i-check-on-library-releases-being-added-to-library-manager

[rsora]

Hi @fabianoriccardi I was about to perform the manual update operations in our crawler, but I saw that the repo now is called
https://github.com/fabianoriccardi/rtcmemory
So I guess it's better to update the PR to use directly the final URL, before I start the manual operations, Can you please update this PR?

In addition, I think it's better also to update your library.properties here
https://github.com/fabianoriccardi/rtcmemory/blob/cc8ddbef5a41f1313d05d9d68768f8cac7276f82/library.properties#L7
to the final github repo link.

Thanks!

[per1234]

use directly the final URL, before I start the manual operations

I agree that is the best thing and have submitted a follow-up PR for that here: #293

I also updated the outstanding PR for the related changes to registry.txt: #130