Re: [git] web/master.git branch master updated. 8181453
| From: | David Soria Parra | Date: | Thu, 26 Jan 2012 08:32:11 +0000 |
| Subject: | Re: [git] web/master.git branch master updated. 8181453 | ||
| References: | 1 2 3 4 | Groups: | php.internals php.webmaster |
| Request: | Send a blank email to php-webmaster+get-12940@lists.php.net to get a copy of this message | ||
On 2012-01-25, Michael Wallner <mike@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!