From: Kenneth Hsu <kennethhsu@gmail.com>
Date: Wed, 12 Jul 2017 02:37:10 GMT
Subject: Re: bug: HEAD vs. head on case-insensitive filesystems
Message-ID: <20170712023655.GA15598@lenny.localdomain>
In-Reply-To: <20170711071234.bj3kzfn5xii4e33w@sigill.intra.peff.net>

> I was going to point you to the recent thread in
> 
>   http://public-inbox.org/git/87ziclb2pa.fsf@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 resolution is not "let's make
> them work", but "let's consistently enforce case-sensitivity in ref
> names, regardless of the underlying filesystem".

Thanks, that makes sense.  Perhaps it's best to just view my original
message as, "here's a new example of where 'head' doesn't work".