On Tue, 2014-08-05 at 10:22 +0100, Mark Brown wrote:
> On 4 August 2014 16:26, Jon Medhurst (Tixy) <tixy@linaro.org> wrote:

> > for you to fetch changes up to ed30f24e8d07d30aa3e69d1f508f4d7bd2e8ea14:
> >
>
> This pull request doesn't specify the tag/branch to pull - are you sure you
> pushed?

That's what git request-pull said too, but I did push and according to
the git web interface and the output of 'git branch -a -v' those changes
are indeed in branch lsk-3.10-gator.