Web lists-archives.com

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

> I was going to point you to the recent thread in
>   http://public-inbox.org/git/87ziclb2pa.fsf@xxxxxxxxx/
> 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".