On Thu, Sep 13, 2012 at 02:28:51PM +0200, Takashi Iwai wrote:
> > FWIW, it was an output from git-pull-request, which fell back to the
> > equivalent branch. Usually I check it manually but I forgot it at
> > this time just before going to a meeting.
> > This was with git 22.214.171.124. I'll check whether this still happens
> > with 1.7.12.
> The same problem still happens with git 1.7.12.
> This is rather annoying than useful.
I can't reproduce here. What is your exact request-pull invocation? Is
request-pull showing a warning like:
warn: You locally have sound-3.6 but it does not (yet)
warn: appear to be at
warn: Do you want to push it there, perhaps?
(it should do so since v126.96.36.199). Maybe we need to make it possible to
bump that warning to a fatal error?
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html