PlatformIO Community

Renamed my library and published it again - how to fix this mess?

Hey, so I wrote the tfeldmann/Indicator library some time ago (Github Repo). I recently updated it and found a better name (tfeldmann/Blinkenlight). I then went and changed the name on github and in the library.json and library.properties.

At this time I did not know yet that the crawler picks these changes up, so I pio package publish-ed the new library again. Then I found I could not delete the old Indicator library after some amount of hours.

What is the best way to fix this?

I think @ivankravets can have a look at this.