On Wed, Feb 18, 2015 at 6:54 PM, Junio C Hamano <gits...@pobox.com> wrote:
> On Wed, Feb 18, 2015 at 4:43 PM, Shawn Pearce <spea...@spearce.org> wrote:
>>
>> This fails from a JGit server because the ref advertisement for an
>> empty repository differs and disagrees with the format used by
>> git-core. The result is a confused client spewing an odd checkout
>> message.
>
> That is exactly why the rephrasing was brought up, wasn't it?
>
> As the Subject: line says, this thread is for people who want to
> help those users with un-odd message, so discuss away
> and come up with a final applicable patch ;-).

"warning: remote HEAD does not exist, not checking out any branch."

would then be the correct answer. Are we able to detect between the
two cases of a HEAD pointing to refs/heads/void and HEAD just not
existing?
--
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

Reply via email to