Re: Missing [GIT PULL] request for <tip.git#locking-urgent-2020-10-11>

From: Ingo Molnar
Date: Mon Oct 12 2020 - 09:44:20 EST



* Sedat Dilek <sedat.dilek@xxxxxxxxx> wrote:

> Hi,
>
> yesterday, I saw Ingo tagged "locking-urgent-2020-10-11" in tip Git.
>
> Did you drop it or was this for Linux v5.9 final and the git-pull
> request was simply forgotten?
>
> Just curious.

So I ran the pull request script to send the tree to Linus, but on final
review decided not to send it, as there was a pending bugreport against the
tree, it was very late in the cycle and the commits were pretty fresh. I
sent two other trees (x86/urgent and perf/urgent).

This is why there's a signed tag for locking/urgent, but no pull request.
:-)

Thanks,

Ingo