Re: [GIT pull] scheduler updates for 5.1

From: Linus Torvalds
Date: Sun Mar 24 2019 - 15:02:53 EST

On Sun, Mar 24, 2019 at 11:48 AM Linus Torvalds
<torvalds@xxxxxxxxxxxxxxxxxxxx> wrote:
> It looks right to me now, so I've pulled it.

Interestingly, I'm not seeing pr-tracker-bot reacting to my pull.

I *think* that's because pr-tracker-bot saw the same thing as I
initially did for the pull request, so it thinks the pull I actually
*did* after you force-updated the branch doesn't match the original
pull request, because I ended up pulling something else..

Or maybe it's just delayed. We'll see.