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

Open
ulf wants to merge 2 commits from ulf/fsfe-website:fix#64 into master
ulf commented 1 month 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 1 month ago
max.mehl commented 1 month 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.
This pull request is marked as a work in progress. Remove the WIP: prefix from the title when it's ready
Sign in to join this conversation.
Loading…
Cancel
Save
There is no content yet.