From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 26 Sep 2022 17:06:05 GMT
Subject: Re: [PATCH] cmd-list.perl: fix identifying man sections
Message-ID: <xmqqk05qqd4y.fsf@gitster.g>
In-Reply-To: <CAN0heSpPGuSYb1nEyA3RuV+ACrXjHu+YqxAsfZN62EHVqcQ9Mg@mail.gmail.com>

Martin Ågren <martin.agren@gmail.com> writes:

> I've also done
>
>   ./doc-diff origin/next origin/seen
>
> at times to catch such things a lot earlier, but it's not often that I
> find the time to do so / think about doing it.

Ah, that probably is a good thing to do on my end after picking
which topics to merge to 'next' and before merging them, i.e.

 * Find ones that are marked as "Merge to 'next'";
 * "git checkout --detach next" and then merge them;
 * Do the doc-diff between 'next' and HEAD.

in addition to my usual set of tests, SANITIZE=<stuff>, etc.

Thanks for an idea.