Revert "Update repositories.txt"

[adrian2793]

Reverts #4409

[github-actions]

Hi @adrian2793.
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 @adrian2793. I see you have proposed the removal of the library immediately after adding it. Since this is quite an unusual thing to do, I have a suspicion that your true goal is to accomplish something other than a permanent removal and you are attempting to accomplish that goal via a circuitous and hacky procedure of your own devising.

So please add a comment here on the pull request thread that provides a detailed description of the reason for this pull request.

[adrian2793]

@per1234 I want to delete it since I changed the name of the repository and I didn't wanted to make a name change request

[per1234]

Ugh. I see now that you submitted it again at #4411

I also see that this is the second time you have requested a removal of this library: #4245

Although the submission system is automated, the other requests are time consuming. You are making a lot of work for us. For the benefit of the community, Arduino has opened the Library Manager distribution service to everyone instead of restricting it to only official libraries. If every one of the thousands of library maintainers started removing and re-adding libraries unnecessarily we would have to stop offering this service to the community so the way you are behaving is irresponsible.

Since it was added twice, we will proceed with removing the URL as you requested here, but in the future, please only request library removals if it is absolutely essential to do so, such as if a library becomes completely obsolete. Removals must only be requested if you plan to permanently remove the library. This behavior of removing and then re-adding libraries is not allowed.

[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]

Done:

2024/04/29 16:00:58 Loaded 6877 libraries from DB
Changing URL of library AISwitch from https://github.com/arduino279/ArduinoAI.git to https://github.com/arduino279/AI.git
Success!

[adrian2793]

Yea, good work, mate! This is a review for you : )