On Tue, Sep 3, 2013 at 4:13 PM, Ingo Molnar <mi...@kernel.org> wrote: > Please pull the latest timers-nohz-for-linus git tree from: > > git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git > timers-nohz-for-linus > > HEAD: c2e7fcf53c3cb02b4ada1c66a9bc8a4d97d58aba nohz: Include local CPU in > full dynticks global kick > > It mostly contains fixes and full dynticks off-case optimizations, > by Frederic Weisbecker. > > NOTE: for some reason my pull request scripts failed to generate a proper > diffstat so I've generated the shortlog and diffstat manually. All > resulting mistakes are mine.
You forgot to push timers-nohz-for-linus, or it hadn't propagated from ra.kernel.org to git.kernel.org? git (1.7.9.5, Ubuntu 12.04LTS) doesn't seem to complain about missing or stale branches on the remote, and just does something it thinks is right. Gr{oetje,eeting}s, Geert -- Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- ge...@linux-m68k.org In personal conversations with technical people, I call myself a hacker. But when I'm talking to journalists I just say "programmer" or something like that. -- Linus Torvalds -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/