From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 17 Oct 2017 04:05:33 GMT
Subject: Re: [PATCH 0/4] pre-merge hook
Message-ID: <xmqqbml6pgfm.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <cover.1506081120.git.git@grubix.eu>

Michael J Gruber <git@grubix.eu> 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").