Re: [PATCH 0/4] pre-merge hook
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 17, 2017, 04:05 UTC
- 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").