Re: git push hook to check for outdated timestamps

On Fri, Jun 26, 2015 at 4:11 PM, Peter Eisentraut <peter_e(at)gmx(dot)net> 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 don't particularly think that having separate AuthorDate and
>> CommitterDate fields has any value. At least, it doesn't to me. But
>> a linear-looking commit history does have value to me. Someone else
>> might have different priorities; those are mine.
>
> Sure, that's why Git is configurable to particular preferences. But we
> don't have to force everyone to use Git in a nonstandard way.

I respect your opinion, but I think you are out-voted, unless some of
the people who previously favored this proposal have changed their
minds based on this discussion.

--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company