Re: [GIT PULL] timers/nohz changes for v3.12

[Geert Uytterhoeven]

On Tue, Sep 3, 2013 at 4:13 PM, Ingo Molnar <mingo@xxxxxxxxxx> 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 -- geert@xxxxxxxxxxxxxx

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 majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/