Re: bug: HEAD vs. head on case-insensitive filesystems
- Date: Tue, 11 Jul 2017 19:37:10 -0700
- From: Kenneth Hsu <kennethhsu@xxxxxxxxx>
- Subject: Re: bug: HEAD vs. head on case-insensitive filesystems
> I was going to point you to the recent thread in
> 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".