Recurring problem: my library update from github does not show up on PlatformIO

[pfeerick]

Responded to here:

Library update not picked up by platformio.org

There’s no matching 1.0.1 tag for the 1.0.1 version, nor is there a release for it. If this library had a library.json, that wouldn’t be an issue, as having the version and repository parameters would be enough information for the PlatformIO registry crawler to see there was a new version, and where to get it from. I don’t think the url= field in the Arduino IDE library.properties is sufficient, as it is supposed point to the library homepage, which may not be the Git(Lab|Hub)/other repo. I…