Revert "Update repositories.txt"

[Octopus1633]

Reverts #3466

[github-actions]

Hi @Octopus1633.
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 @Octopus1633. Please provide a detailed description of the reason for this pull request.

Make sure to include an explanation of what you are hoping to achieve overall.

The reason I ask for this information is because library maintainers often submit PRs like this when they are trying to achieve some goal that isn't apparent. Sometimes there is a far more efficient and effective way to accomplish that goal. I am here to advise you on how to accomplish your goal, but I can only do that if you make the effort to communicate with me.

Please note that, although submissions are fully automated this repository is maintained by a human (me). So you need to communicate as you would to a human when you are proposing any change other than a submission. Removal operations such as you are apparently proposing here are handled manually and might take as long as two weeks to be completed.

[Octopus1633]

There was an error in my operation. I hope to withdraw the #3466 operation and release the library later.

[per1234]

Hello @Octopus1633. 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.

[github-actions]

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

2023/11/08 14:52:19 Loaded 6351 libraries from DB
error: Library name Waveshare_RP2040_BLE not found

Since the library could not be found, not even in the IDE's Library Manager, I'm closing this as resolved. Please feel free to open it again if the issue is not solved.