On Sun, Nov 11, 2018 at 2:11 AM Thomas Gleixner <t...@linutronix.de> 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
