* Geert Uytterhoeven <ge...@linux-m68k.org> wrote:
> 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?
Hm, it's visible here.
> 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.
My scripts check that the remote branch is visible and is the same as the
local branch - but I guess there's a way that check can go wrong as well.
Thanks,
Ingo
--
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/
