Re: [PATCH 3/3] notes: don't indent empty lines
- From
Eric Sunshine <sunshine@sunshineco.com>
- Date
- Aug 30, 2021, 18:04 UTC
- Message-ID
- <CAPig+cQdXp0c+JYthvy+bbr6vLR7nq4pQY3w+CADUtzr+Ang4A@mail.gmail.com>
- In-Reply-To
- <xmqqeeaa4y0v.fsf@gitster.g>
On Mon, Aug 30, 2021 at 1:56 PM Junio C Hamano <gitster@pobox.com> wrote:
Show 7 quoted lines
> Eric Sunshine <sunshine@sunshineco.com> writes: > > [1]: I suppose mechanical extraction of notes may be one such > > scenario, allowing for simple-minded (not necessarily robust) > > extraction mechanics; i.e. start extracting after the /^Notes:$/ line > > and stop at the first line not indented with four blanks. > > Yup, that was what I had in mind.
In the general case, such an extraction mechanism would be far too fragile since there are no guarantees that the commentary in the "Notes:" section hasn't been hand-edited after patch-generation. However, it's certainly possible that such a simple-minded extraction technique might be applicable in some well-controlled development pipeline somewhere.
If we are worried about that, then we can drop this patch series.