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

Updated paper titles + last activity dates using ProVerBMate #6

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

Sophietje
Copy link
Owner

This adds paper titles where there was only a DOI and updates the last activity dates for repositories. The changes are all generated using ProVerBMate.

The 'last activity' date specifically looks at the pushed_at date that is returned by github for a repository. This corresponds to the last commit that was pushed to any of the repository's branches. This is different from what Yujie originally implemented which looked at the last commit on the default branch and the last activity (whether that was a push on the default branch or something else).

For some of the repositories this date may initially seem incorrect. For example, for ATHOS the date was updated to 28 April 2020, but there is no branch corresponding to this. However, it actually corresponds to the date when a branch was deleted.

@Sophietje Sophietje requested a review from grammarware March 30, 2023 12:34
@grammarware
Copy link
Collaborator

Technically deleting a branch could be seen as a form of activity ;)

Thanks for the request, will review soon.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants