Re: [git] web/master.git branch master updated. 8181453
| From: | Michael Wallner | Date: | Wed, 25 Jan 2012 19:10:08 +0000 |
| Subject: | Re: [git] web/master.git branch master updated. 8181453 | ||
| References: | 1 2 3 | Groups: | php.internals php.webmaster |
| Request: | Send a blank email to internals+get-57510@lists.php.net to get a copy of this message | ||
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
...
Regards,
Mike