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

Ghost · 2019-05-26T10:56:48Z

Ghost

2019-05-26 10:56:48 +00:00

ha commentato

First-time contributor

See my comment in #64 for a test script.

max.mehl Titolo modificato da ~~Use git commit times instead of file timestamps when possible~~ a WIP: Use git commit times instead of file timestamps when possible

2019-05-26 13:18:10 +00:00

max.mehl

2019-05-26 13:19:19 +00:00

ha commentato

Proprietario

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.

reinhard ha fatto riferimento a questa pull request

2020-04-21 19:18:36 +00:00

"Last changed" in footer displays build info instead of commit info #837

reinhard

2020-04-27 12:19:00 +00:00

ha commentato

Membro

Closing per discussion in #837

reinhard chiusa questa pull request

2020-04-27 12:19:01 +00:00

the build was successful

Dettagli