Martin Ågren <martin.agren@xxxxxxxxx> 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.
