WIP: Use git commit times instead of file timestamps when possible #952

Closed
Ghost wants to merge 2 commits from <deleted>:fix#64 into master
Ghost commented 3 years ago

See my comment in #64 for a test script.

See my comment in #64 for a test script.
max.mehl changed title from Use git commit times instead of file timestamps when possible to WIP: Use git commit times instead of file timestamps when possible 3 years ago
Owner

Thanks Ulf for creating this and the test script!

Since the generation time difference is so huge I'll mark this as WIP to prevent an accidential merge.

Let's continue discussion the linked ticket.

Thanks Ulf for creating this and the test script! Since the generation time difference is so huge I'll mark this as WIP to prevent an accidential merge. Let's continue discussion the linked ticket.
Collaborator

Closing per discussion in #837

Closing per discussion in #837
reinhard closed this pull request 2 years ago
All checks were successful
the build was successful
This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Loading…
There is no content yet.