WIP: Use git commit times instead of file timestamps when possible #952
No reviewers
Labels
No Label
bug
build
cgi Scripting
design
disruptive
documentation
duplicate
easy
feature-request
help wanted
javascript
priority/low
question
system-hackers
tagging
text
translations
wait/bugfix
wait/inprogress
wait/misc
wait/proofread
wontfix
xsl
No Milestone
No Assignees
3 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: FSFE/fsfe-website#952
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "(deleted):fix#64"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
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 possibleThanks 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
Pull request closed