Re: bug: HEAD vs. head on case-insensitive filesystems

2017-07-11 Thread Kenneth Hsu
> I was going to point you to the recent thread in > > http://public-inbox.org/git/87ziclb2pa@gmail.com/ > > but I see you already participated there. So if your mail here is > "here's a summary of how HEAD/head don't quite work", then OK, that > might be handy. But I think the ultimate

Re: bug: HEAD vs. head on case-insensitive filesystems

2017-07-11 Thread Jeff King
On Mon, Jul 10, 2017 at 08:32:36PM -0700, Kenneth Hsu wrote: > I'm not sure what the general consensus is regarding the use of "head" > vs. "HEAD" on case insensitive filesystems, but it appears that some > confusing behavior (bug?) may have arisen. Generally, the advice on "head" is "don't".

bug: HEAD vs. head on case-insensitive filesystems

2017-07-10 Thread Kenneth Hsu
I'm not sure what the general consensus is regarding the use of "head" vs. "HEAD" on case insensitive filesystems, but it appears that some confusing behavior (bug?) may have arisen. To summarize, "HEAD" and "head" may resolve to different revisions when in a worktree. The following example was