[Library manager] change library name #8322

[fabianoriccardi]

Hi,
few days ago i've created this library to control dimmers. It was only for esp8266, but now I've added ESP32 and AVR support, so it should be better to change the name in Dimmable Light or Arduino to empathize the fact that it works for arduino IDE, supporting different platforms (modification already done in library.properties).

Is it possible? Should I do any other modifications?

If possible, I would update the url of the library accordingly to the new library's name e.g. https://github.com/fabiuz7/dimmable_light_arduino_lib

[per1234]

Someone will make the requested name change on the next pass through the Library Manager requests.

You can change the URL also if you like. If you change the repository name in the Settings tab, GitHub will automatically redirect from the old URL, but Arduino should also probably update the URL in their Library Manager list.

[cmaglie]

Library renamed, if you want you can rename the repository too (from the github's setting page) and tell us the new URL so I can update it in the library manger.

[fabianoriccardi]

Thank you, the new library's URL is https://github.com/fabiuz7/Dimmable-Light-Arduino (library.properties already updated)

[fabianoriccardi]

Just another question/request: will you remove the old library name? I'm asking because now, if I in Arduino Library Manager, I see this:

That is the new and ald version, this could create confusion…

EDIT: the image is distorted, but we can see the words in "searching bar"

[cmaglie]

It should be ok now.