Library name change request

[ChitoKim]

Library repository URL

https://github.com/ChitoKim/EiMOS_U8X8

[ChitoKim]

I changed the repo from mahjongAsst_U8X8 to EiMOS_U8X8 weeks ago, and posted this kind of issue as well. But for an unknown reason, library index check page complains that it should be named "EiMOS_U8X", not "EiMOS_U8X8". Somehow the name was registered wrong as "EiMOS_U8X", and the library isn't listed on the library manager.
This time I want to correct the registered name to "EiMOS_U8X8"

https://downloads.arduino.cc/libraries/logs/github.com/ChitoKim/EiMOS_U8X8/

[per1234]

Hi @ChitoKim. I am confirming your request.

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 close this issue when it is done. You will get a notification from GitHub at that time.

After that, you can monitor the indexing of the library via its dedicated logs web page.
Information about that here:
https://github.com/arduino/library-registry/blob/main/FAQ.md#can-i-check-on-library-releases-being-added-to-library-manager

Somehow the name was registered wrong as "EiMOS_U8X"

That was my fault. I somehow omitted the last character when I updated the name in the registration data (#4649). I apologize for any inconvenience that was caused by my mistake.

[MatteoPologruto]

Done:

2024/07/04 14:53:39 Loaded 7119 libraries from DB
error: Library name EiMOS_U8X not found

As expected.