Re: [PATCH] diff: --indent-heuristic is no longer experimental

From: Junio C Hamano <gitster@pobox.com>
Date: Oct 31, 2017, 07:15 UTC
Message-ID: <xmqq1sljzt2i.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <20171029151228.607834-1-cmn@dwim.me>

Carlos Martín Nieto <cmn@dwim.me> writes:

Show 9 quoted lines

> This heuristic has been the default since 2.14 so we should not confuse our
> users by saying that it's experimental and off by default.
>
> Signed-off-by: Carlos Martín Nieto <cmn@dwim.me>
> ---
>  Documentation/diff-heuristic-options.txt | 5 -----
>  Documentation/diff-options.txt           | 7 ++++++-
>  2 files changed, 6 insertions(+), 6 deletions(-)
>  delete mode 100644 Documentation/diff-heuristic-options.txt

I suspect that this patch is incomplete. The build procedure barfs and dies while making git-annotate.html, claiming that it wants to find diff-heuristic-options.txt that no longer exists.

I'll have to redo today's integration cycle again without this patch. Sigh...