Re: git push hook to check for outdated timestamps
От | Peter Eisentraut |
---|---|
Тема | Re: git push hook to check for outdated timestamps |
Дата | |
Msg-id | 558DB1ED.2050006@gmx.net обсуждение исходный текст |
Ответ на | Re: git push hook to check for outdated timestamps (Robert Haas <robertmhaas@gmail.com>) |
Ответы |
Re: git push hook to check for outdated timestamps
Re: git push hook to check for outdated timestamps |
Список | pgsql-hackers |
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.
В списке pgsql-hackers по дате отправления: