From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 29 Sep 2016 17:49:04 GMT
Subject: Re: [PATCH 5/5] log: add --commit-header option
Message-ID: <xmqqtwcyfvfz.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <20160929083851.kx6itvrh4n2rttrx@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> This lets you stick a header right before a commit, but
> suppresses headers that are duplicates. This means you can
> do something like:
>
>   git log --graph --author-date-order --commit-header='== %as =='
>
> to get a marker in the graph whenever the day changes.

That's interesting.  So it is not really "commit" header, but a
header for groups of commits.  Credits for realizing the usefulness
of such grouping may go to Kyle, but the implementation is also
brilliant ;-).

> This probably needs some refactoring around the setup of the
> pretty-print context.