Re: [GIT PULL for v7.4] media updates

[Linus Torvalds]

On Sun, 1 Nov 2026 at 00:45, Mauro Carvalho Chehab
<mchehab+huawei@xxxxxxxxxx> wrote:
>
> We opted to do that instead of using merges, as sometimes we're
> picking very small merge requests with just one patch or two.

So that appears similar to what github does by default, and I don't
hate the workflow for your kind of setup. I agree that it would
otherwise result in lots of pointless merges for small individual
commits that make it hard to see the big picture.

But I *do* hate how the commit times go bust.

So _please_ stop the commit time rewriting. It's really wrong. The're
a *reason* there is a separate author date and commit date, and the
commit date should be the time of the actual commit, not the time of
some *other* commit that does not exist any more.

I have no idea who controls that 'marge-bot' thing, but it needs
fixing and until it is fixed please stop using it.

                 Linus