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 possible3 years ago
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.
See my comment in #64 for a test script.
Use git commit times instead of file timestamps when possibleto WIP: Use git commit times instead of file timestamps when possible 3 years agoThanks 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.
Closing per discussion in #837