Messages in this thread | | | Date | Tue, 3 Sep 2013 20:20:52 +0200 | From | Ingo Molnar <> | Subject | Re: [GIT PULL] timers/nohz changes for v3.12 |
| |
* Geert Uytterhoeven <geert@linux-m68k.org> wrote:
> On Tue, Sep 3, 2013 at 4:13 PM, Ingo Molnar <mingo@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
| |