On Tue, Oct 01, 2024 at 04:32:23PM +0900, Tatsuo Ishii wrote: > Thank you for letting know me. I pushed it. But I noticed that now > the commit's author time and commit time are different after pushed > it. Should I revert ot and push it again?
You have applied a cherry-pick, from what I can see. There is no point in reverting and re-pushing for that, IMO, because there is also a point in keeping the author timestamp close to the original ones when doing a cherry-pick of a past commit on a stable branch :) -- Michael
signature.asc
Description: PGP signature
