On 2012-01-25, Michael Wallner <m...@php.net> wrote:
> On Tue, 24 Jan 2012 20:33:10 +0100, David Soria Parra wrote:
>
>> 
>> I understand that it's useful, so you suggested having a mail for each
>> commit instead of each push. I prefer mails per push as they are the
>> only documentation of who pushed what. In case someone pulls from a
>> person that doesn't have karma and pushes it, I want to ask that person
>> why and what. So the pushmails is useful for me and gives me a good
>> overview over the overall change.
>> 
>> So the option is to
>>  (1) have commit mails or push mails only.
>>  (2) both (3) send one type of mail to a separate mailinglist (4) change
>>  the pushmail format to something useful.
>> 
>
> How about a push mail with commit mails referencing the push mail 
> following?
>
> Might look like the following then:
>
>  [ ]-- push mail
>     |-- mail for commit 1
>     |-- mail for commit 2
>     ...

I quiet like that option!

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to