Re: [PATCH 1/2] ref-filter: apply --ignore-case to all sorting keys
From: Junio C Hamano <hidden>
Date: 2020-05-04 15:37:44
Possibly related (same subject, not in this thread)
- 2020-05-05 · Re: [PATCH 1/2] ref-filter: apply --ignore-case to all sorting keys · Taylor Blau <hidden>
- 2020-05-05 · Re: [PATCH 1/2] ref-filter: apply --ignore-case to all sorting keys · Jeff King <hidden>
- 2020-05-04 · Re: [PATCH 1/2] ref-filter: apply --ignore-case to all sorting keys · Junio C Hamano <hidden>
- 2020-05-04 · Re: [PATCH 1/2] ref-filter: apply --ignore-case to all sorting keys · Jeff King <hidden>
- 2020-05-03 · Re: [PATCH 1/2] ref-filter: apply --ignore-case to all sorting keys · Danh Doan <hidden>
Jeff King [off-list ref] 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.