Re: [PATCH v2] refs: fix duplicated word in comment
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Apr 9, 2025, 16:22 UTC
- Message-ID
- <xmqqbjt5s3t5.fsf@gitster.g>
- In-Reply-To
- <CAN0heSoh4SuQcYHVVniO1BYH_C4O-BeF4kKxDg3uQPzpotLA1A@mail.gmail.com>
Martin Ågren <martin.agren@gmail.com> writes:
> Ok. In general, there's some trade-off to be made between "make a small change > at the top of a twenty-line comment and rewrap the whole thing causing more > churn than necessary and create more room for conflicts with other topics" and > "make the change and live with slightly less beautiful wrapping".
Nice to see this choice spelled out.
Show 7 quoted lines
> In this > particular case, the blast radius is small. `git show --word-diff` confirms > that you simply removed the duplicate word and moved "common" (or "*"). > > FWIW, this patch looks good to me. > > Martin
Thanks, both. Will queue.