From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 04 May 2020 15:37:38 GMT
Subject: Re: [PATCH 1/2] ref-filter: apply --ignore-case to all sorting keys
Message-ID: <xmqqh7wviud9.fsf@gitster.c.googlers.com>
In-Reply-To: <20200504151351.GC11373@coredump.intra.peff.net>

Jeff King <peff@peff.net> writes:

> Hmm, somehow I didn't know about that rule. We have many cases already
> in the test suite and elsewhere (try grepping for '$(([a-z]', which
> isn't exhaustive but turns up many examples).
>
> Maybe it's time to loosen the rule?

Let's do that.  It's time.