remove library wrong name

[almtzr]

Hi @per1234,
I removed my library because it had the wrong name.

[github-actions]

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

Hi @almtzr. We only accommodate removal requests when the intent is to permanently remove the library from the Arduino Library Registry.

It sounds like you are not intending a permanent removal, but are instead using this as a hacky way to change the library name. That is not allowed.

Are you requesting the permanent removal of the library? Or are you instead only wanting to request a name change?

[almtzr]

Hi @per1234, thanks for this information.

I don’t intend to permanently remove the library.
I just want to fix the library name to ensure that Arduino Library Manager properly recognizes the name "PedroRobot" (without a space).

Here is the current log issue
/libraries/logs/

[per1234]

Follow the instructions here to change the name of the library:

https://github.com/arduino/library-registry/blob/main/FAQ.md#how-can-i-change-a-librarys-name