Re: git push hook to check for outdated timestamps

Peter Eisentraut wrote:
> On 6/25/15 8:08 PM, Robert Haas wrote:
> > Because I don't want to have to do git log --format=fuller to see when
> > the thing was committed, basically.
> 
> Then I suggest to you the following configuration settings:
> 
> [format]
>         pretty=cmedium
> [pretty]
>         cmedium="format:%C(auto,yellow)commit %H%C(reset)%nCommit:     %cn <%ce>%nCommitDate: %cd%n%n%w(80,4,4)%B"

I have been using a slightly tweaked version of this and I have found
that the %w(80,4,4)%B thingy results in mangled formatting; for
instance, commit bbfd7edae5 ends with this:
   Discussion: 54B58BA3.8040302@ohmu.fi Author: Oskari Saarenmaa, with some   minor changes by me.

whereas it originally was written as
   Discussion: 54B58BA3.8040302@ohmu.fi   Author: Oskari Saarenmaa, with some minor changes by me.

I find this a bad enough problem that I'll probably have to remove that.

-- 
Álvaro Herrera                http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services