Update repositories.txt

[1ux]

No description provided.

[github-actions]

Hi @1ux.
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

[github-actions]

Arduino Lint has suggestions for possible improvements to https://github.com/1ux/LED_RGB_Control:

Linting library in LED_RGB_Control
WARNING: library.properties name value BasicColorLedControl is longer than the recommended length of 16 characters.
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format    
         (Rule LP010)                                                                                              
WARNING: library.properties version value 1.0 is not compliant with the semver specification.
         See: https://semver.org/                                                            
         (Rule LP021)                                                                        

Linter results for project: 0 ERRORS, 2 WARNINGS

-------------------

Linting sketch in LED_RGB_Control/examples/BasicColorLedControl

Linter results for project: no errors or warnings

-------------------

Linter results for projects: 0 ERRORS, 2 WARNINGS

[1ux]

I have fixed the lint warnings in the BasicColorLedControl library and renamed it to LED_RGB_Control.
I have therefore deleted the corresponding old link to the library.

[per1234]

Hi @1ux.

renamed it to LED_RGB_Control

I see you have changed the value of the name field of the library.properties metadata field:

https://github.com/1ux/LED_RGB_Control/blob/main/library.properties#L1

name=LED_RGB_Control

However, Library Manager works exclusively from Git tags, so the indexer system can't recognize the name change until you create a new release or tag in the library repository.

If you look at the repository contents at the latest tag, you can see that it still has the old name value:

https://github.com/1ux/LED_RGB_Control/blob/v1.1/library.properties#L1

name=BasicColorLedControl

So if you want to request a change of the registered library name, you must first make a new release. Once you have done that, comment here to let me know I can proceed with your request..

If you have any questions or concerns, please let me know.

Regards, Per

[per1234]

Since there was no response regarding my previous comment about the change to the library name even after some days, I decided to just proceed with the URL update.

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.

[MatteoPologruto]

Done:

2024/04/11 15:12:47 Loaded 6823 libraries from DB
Changing URL of library BasicColorLedControl from https://github.com/1ux/BasicColorLedControl.git to https://github.com/1ux/LED_RGB_Control.git
Success!