{"thread":{"id":"49357","subject":"Differences between git show HEAD and git show head","startedAt":"2018-09-17T11:22:16Z","lastAt":"2018-09-17T13:33:47Z","messageCount":3,"participants":["Nikola Milekic","Ævar Arnfjörð Bjarmason"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"358248","messageId":"CACU07Yt5vh36tHcHxV-b_5MNLc-RzqGQ7=nkJq-DTqNgmYP+wA@mail.gmail.com","threadId":"49357","inReplyTo":null,"subject":"Differences between git show HEAD and git show head","fromName":"Nikola Milekic","fromEmail":"nikolamilekic@gmail.com","sentAt":"2018-09-17T11:22:16Z","receivedAt":"2018-09-17T11:22:16Z","isPatch":false,"sender":{"key":"nikolamilekic@gmail.com","avatar":null},"body":"Hi,\n\nOn Windows, when using multiple workspaces and git 2.19.0.windows.1,\n'git show HEAD' and 'git show head' return different results when\nexecuted from a secondary workspace (the one without the .git\ndirectory).\n\n'git show HEAD' shows the HEAD of the current workspace, while git\nshow head shows the HEAD of the main workspace (the one with the .git\ndirectory). I find this to be highly misleading, especially for users\nlike myself who are not used to typing HEAD in all caps. Is this\nindented behavior or a bug?\n\nThanks.\n\nBest regards,\nNikola\n"},{"id":"358253","messageId":"875zz4l0kv.fsf@evledraar.gmail.com","threadId":"49357","inReplyTo":"CACU07Yt5vh36tHcHxV-b_5MNLc-RzqGQ7=nkJq-DTqNgmYP+wA@mail.gmail.com","subject":"Re: Differences between git show HEAD and git show head","fromName":"Ævar Arnfjörð Bjarmason","fromEmail":"avarab@gmail.com","sentAt":"2018-09-17T13:23:28Z","receivedAt":"2018-09-17T13:23:34Z","isPatch":false,"sender":{"key":"avarab@gmail.com","avatar":"https://avatars.githubusercontent.com/u/45301?v=4"},"body":"\nOn Mon, Sep 17 2018, Nikola Milekic wrote:\n\n> Hi,\n>\n> On Windows, when using multiple workspaces and git 2.19.0.windows.1,\n> 'git show HEAD' and 'git show head' return different results when\n> executed from a secondary workspace (the one without the .git\n> directory).\n>\n> 'git show HEAD' shows the HEAD of the current workspace, while git\n> show head shows the HEAD of the main workspace (the one with the .git\n> directory). I find this to be highly misleading, especially for users\n> like myself who are not used to typing HEAD in all caps. Is this\n> indented behavior or a bug?\n\nThis is an outstanding bug in git that's tricky to solve (maybe you're\ninterested!), here's a recent discussion about it:\nhttps://public-inbox.org/git/87ziclb2pa.fsf@gmail.com/\n"},{"id":"358254","messageId":"CACU07Yug+oiiKXa53W6f+mugLPdrXOHRRDbWVOpbwwKov4MiFA@mail.gmail.com","threadId":"49357","inReplyTo":"875zz4l0kv.fsf@evledraar.gmail.com","subject":"Re: Differences between git show HEAD and git show head","fromName":"Nikola Milekic","fromEmail":"nikolamilekic@gmail.com","sentAt":"2018-09-17T13:33:47Z","receivedAt":"2018-09-17T13:33:47Z","isPatch":false,"sender":{"key":"nikolamilekic@gmail.com","avatar":null},"body":"Ups, my bad, didn't realize that. Apologies for spamming. Would love\nto help but unfortunately I have no C background.\nOn Mon, Sep 17, 2018 at 3:23 PM Ævar Arnfjörð Bjarmason\n<avarab@gmail.com> wrote:\n>\n>\n> On Mon, Sep 17 2018, Nikola Milekic wrote:\n>\n> > Hi,\n> >\n> > On Windows, when using multiple workspaces and git 2.19.0.windows.1,\n> > 'git show HEAD' and 'git show head' return different results when\n> > executed from a secondary workspace (the one without the .git\n> > directory).\n> >\n> > 'git show HEAD' shows the HEAD of the current workspace, while git\n> > show head shows the HEAD of the main workspace (the one with the .git\n> > directory). I find this to be highly misleading, especially for users\n> > like myself who are not used to typing HEAD in all caps. Is this\n> > indented behavior or a bug?\n>\n> This is an outstanding bug in git that's tricky to solve (maybe you're\n> interested!), here's a recent discussion about it:\n> https://public-inbox.org/git/87ziclb2pa.fsf@gmail.com/\n"}]}