Update repositories.txt

[Arturo-JS]

No description provided.

[github-actions]

A problem was found with your submission https://github.com/ESP32Async/ESPAsyncWebServer

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

[github-actions]

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

[per1234]

Closing as duplicate of #3941 / #5804.

@Arturo-JS in the future please check in Library Manager to see if a library is already registered before submitting a pull request here.