Michael J Gruber <git@xxxxxxxxx> writes: > This series revives an old suggestion of mine to make merge honor > pre-commit hook or a separate pre-merge hook.... This seems to have become an abandoned loose end, so I'll drop the topic from my tree for now; revival of the discussion is _not_ unwelcome (aka "dropping without prejudice").
