Skip to content

Remove github.com/VasilKalchev/RGBLED from libraries list #6561

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 8, 2025

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Jul 8, 2025

It seems that a compliant release of this library was never created, meaning that although there is a registry entry, the library is not actually listed in the libraries index.

The registration occurred eight years ago (arduino/Arduino#6257) and the repository has since either been deleted or made private, so a release of the library will never come. Thus, removing the registration will not cause any harm.

The existence of this "ghost registration" is problematic because the duplicate name check system uses the libraries index. Since the library is not present there, the check doesn't see that the name "RGBLED" has already been registered and thus will allow registration of additional libraries with that name (e.g., #6509). In addition, its presence may cause confusion to the registry maintainers since we expect each registration to have a unique name.

Since the registration of the library provides no benefit and causes harm, it is removed.

It seems that a compliant release of this library was never created, meaning that although there is a registry entry,
the library is not actually listed in the libraries index.

The registration occurred eight years ago and the repository has since either been deleted or made private, so a release
of the library will never come. Thus, removing the registration will not cause any harm.

The existence of this "ghost registration" is problematic because the duplicate name check system uses the libraries
index. Since the library is not present there, the check doesn't see that the name "RGBLED" has already been registered
and thus will allow registration of additional libraries with that name. In addition, its presence may cause confusion
to the registry maintainers since we expect each registration to have a unique name.

Since the registration of the library provides no benefit and causes harm, it is removed.
@per1234 per1234 self-assigned this Jul 8, 2025
Copy link
Contributor

github-actions bot commented Jul 8, 2025

Hi @per1234.
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 github-actions bot added the topic: removal Remove library from the list label Jul 8, 2025
@per1234 per1234 added the type: imperfection Perceived defect in any part of project label Jul 8, 2025
@per1234 per1234 merged commit b01f224 into arduino:main Jul 8, 2025
14 checks passed
@per1234 per1234 deleted the remove-RGBLED-list branch July 8, 2025 15:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: removal Remove library from the list type: imperfection Perceived defect in any part of project
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant