Hacker News new | ask | show | jobs
by ikravets 3359 days ago
It depends on a library manifest (library.json, library.properties or module.json). If library's author updates "version" field, then PIO Library Crawler will update it in a registry.

Please note that you can manually update manifest and make PR to author's repository. Click on "Manifest" tab when looking at a library in Web Registry and you will see "Edit" button.