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 res

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 g

Re: Should "head" also work for "HEAD" on case-insensitive FS?

2017-07-05 Thread Kenneth Hsu
On Tue, Jul 04, 2017 at 10:19:09AM +0300, Konstantin Khomoutov wrote: > On Tue, Jul 04, 2017 at 12:00:49AM +0200, Ævar Arnfjörð Bjarmason wrote: > > > I don't have a OSX box, but was helping a co-worker over Jabber the > > other day, and he pasted something like: > > > > $ git merge-base gith