Re: [GIT pull] scheduler fixes for 4.20

[Linus Torvalds]

On Sun, Nov 11, 2018 at 2:11 AM Thomas Gleixner <tglx@xxxxxxxxxxxxx> wrote:
>
>    git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git sched-urgent-for-linus

Hmm. I get

   Already up to date.

with top commit being 993f0b0510da ("sched/topology: Fix off by one
bug") that I already merged earlier.

Did you forget to push out?

I did find the commits in the 'sched/urgent' branch, so I pulled that.

                Linus