Re: [PATCH 1/1] worktree refs: fix case sensitivity for 'head'

From: Junio C Hamano <gitster@pobox.com>
Date: Dec 14, 2018, 03:31 UTC
Message-ID: <xmqqefakdbs8.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <CACsJy8Bj=8xHp3JA8dLbyM=RwJey7utMK6DTVe_0AjBNVHxJyg@mail.gmail.com>

Duy Nguyen <pclouds@gmail.com> writes:

Show 6 quoted lines

> If you make "head" work like "HEAD", then it should work for _all_
> commands, not just worktree, and "MASTER" should match
> "refs/heads/master" and so on. I don't think it's as simple as
> changing strcmp to strcasecmp. You would need to make ref management
> case-insensitive (and make sure if still is case-sensitive if
> configured so). I don't think anybody has managed that.

And it is unclear why anybody would even want to do so.

Thanks for a doze of sanity.