On Tue, Dec 24, 2024 at 01:50:20PM +0100, Andreas Schwab wrote: > On Dez 24 2024, Patrice Dumas wrote: > > > Actually, I would not know how to do that. Changing the ChangeLog is > > one thing, changing the commit date, I don't know how to do that. I use > > git cherry-pick to get the commit, and there does not seems to be the > > possibility to do that. > > cherry-pick does not have an option, but you can rebase the commits > afterwards with --reset-author-date to reset the author date.
Indeed, it is more or less what I could use, but it still is a pain, if I understand well, as it forces to rebase the internal branch to master after each cherry-pick, because it needs to rewrite the history before the next cherry-pick. -- Pat
