Update repositories.txt

[DelanoBruggink]

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 @DelanoBruggink
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

@DelanoBruggink you are very welcome to submit libraries for inclusion in the Arduino Library Manager, but in the future please first take the time to check in Library Manager to see if the library is already included.