Re: Differences between git show HEAD and git show head

From: Nikola Milekic <nikolamilekic@gmail.com>
Date: Sep 17, 2018, 13:33 UTC
Message-ID: <CACU07Yug+oiiKXa53W6f+mugLPdrXOHRRDbWVOpbwwKov4MiFA@mail.gmail.com>
In-Reply-To: <875zz4l0kv.fsf@evledraar.gmail.com>

Ups, my bad, didn't realize that. Apologies for spamming. Would love to help but unfortunately I have no C background. On Mon, Sep 17, 2018 at 3:23 PM Ævar Arnfjörð Bjarmason <avarab@gmail.com> wrote:

Show 20 quoted lines

>
>
> On Mon, Sep 17 2018, Nikola Milekic wrote:
>
> > Hi,
> >
> > On Windows, when using multiple workspaces and git 2.19.0.windows.1,
> > 'git show HEAD' and 'git show head' return different results when
> > executed from a secondary workspace (the one without the .git
> > directory).
> >
> > 'git show HEAD' shows the HEAD of the current workspace, while git
> > show head shows the HEAD of the main workspace (the one with the .git
> > directory). I find this to be highly misleading, especially for users
> > like myself who are not used to typing HEAD in all caps. Is this
> > indented behavior or a bug?
>
> This is an outstanding bug in git that's tricky to solve (maybe you're
> interested!), here's a recent discussion about it:
> https://public-inbox.org/git/87ziclb2pa.fsf@gmail.com/