Re: [GIT pull] scheduler fixes for 4.20

[Thomas Gleixner]

Linus,

On Sun, 11 Nov 2018, Linus Torvalds wrote:

> 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.

Sorry. I was on a flaky wireless connection at the airport, so one of the
pushs must have failed without me noticing.

Thanks,

	tglx