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

From: Sedat Dilek
Date: Mon Oct 12 2020 - 10:35:28 EST


On Mon, Oct 12, 2020 at 3:42 PM Ingo Molnar <mingo@xxxxxxxxxx> wrote:
>
>
> * 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.
> :-)
>

OK, I see and thanks for the information.

- Sedat -