Alex Palaistras 4f5c2a3a90 hooks/post-merge: Set file timestamps for updates ... Partial updates require that source files have appropriate timestamps, which Git does not set in any special way by default. Thus, before attempting to update files in-place, we set source timestamps based on last commit time, which is the effective update time in any case.		2021-09-12 22:08:51 +01:00
..
post-merge	hooks/post-merge: Set file timestamps for updates	2021-09-12 22:08:51 +01:00