Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add datetime release field to the Library Manager index #7596

Closed
s-celles opened this issue May 13, 2018 · 5 comments
Closed

Add datetime release field to the Library Manager index #7596

s-celles opened this issue May 13, 2018 · 5 comments
Assignees
Labels
Component: Board/Lib Manager Boards Manager or Library Manager feature request A request to make an enhancement (not a bug fix)

Comments

@s-celles
Copy link

Hello,

something might be very useful...
Date/Time of a version release might be something very interesting to know.
I noticed that this information is missing when working on https://github.com/scls19fr/arduino_libraries_search

I have been able to count number of version for each library but wanted to know when it was release first, if it was released recently...

It can be a good indicator to know if a library is still maintained or not.

Related issue #7591 from @per1234 and #7567

Kind regards

@per1234 per1234 added the Component: Board/Lib Manager Boards Manager or Library Manager label May 15, 2018
@facchinm facchinm added the feature request A request to make an enhancement (not a bug fix) label May 16, 2018
@cmaglie
Copy link
Member

cmaglie commented May 18, 2018

We do not save this information. As suggested by @per1234 we could add the repository url to the library index so you can retrieve it by scraping from github?

@cmaglie
Copy link
Member

cmaglie commented May 22, 2018

The repository url is now available.

@cmaglie cmaglie closed this as completed May 22, 2018
@s-celles
Copy link
Author

s-celles commented May 22, 2018

For future release of library I think it will be better to keep a track of date/time
Repository url can help to get date/time of a release only if releases are correctly tagged (which may not be the case for each library)

@s-celles
Copy link
Author

s-celles commented May 25, 2018

@cmaglie could you reopen this?
I really think that it's safer to keep a track of date/time of releases on Arduino infrastructure side (ie not to rely too much on repositories that can be renamed, deleted, badly tagged...)

@cmaglie
Copy link
Member

cmaglie commented May 28, 2018

Libraries releases are actually based on repositories tags: each release has a corresponding tag and viceversa (if the developer removes a tag the corresponding library release is removed after a while). IMHO on the library-indexer side is much simpler if the release time is taken directly from the git timestamp.

I really think that it's safer to keep a track of date/time of releases on Arduino infrastructure side (ie not to rely too much on repositories that can be renamed, deleted, badly tagged...)

The only "unsafe" case I can see is if the library developer intentionally touch the timestamp of a git tag... but is this really relevant?
I mean, even if we keep the timestamp server-side, it can always be faked because an "evil" developer may:

  1. remove a release
  2. wait until it disappear from the index
  3. re-release it

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: Board/Lib Manager Boards Manager or Library Manager feature request A request to make an enhancement (not a bug fix)
Projects
None yet
Development

No branches or pull requests

4 participants