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

improve repo fetcher, fix hash #22

Merged
merged 2 commits into from
Aug 13, 2024
Merged

improve repo fetcher, fix hash #22

merged 2 commits into from
Aug 13, 2024

Conversation

wucke13
Copy link
Contributor

@wucke13 wucke13 commented Aug 13, 2024

No description provided.

These changes make the fetcher less intrusive; prior to the change the
tool would reset each and all repos to the most recent commit before the
cutoff date. Now it only touches those repos who defy the chronological
order, e.g. where HEAD is indeed younger than the cutoff date.

Also, this change improves the logging quiet a lot: each change is
displayed, and both commit and author date are always shown. In case of
cutoff date violations both previous and after are displayed.
@wucke13 wucke13 merged commit 611919e into main Aug 13, 2024
50 checks passed
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.

1 participant