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
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
