Feb. 13, 2010
5:52 p.m.
On Sat, Feb 13, 2010 at 12:53, "Martin v. Löwis" <martin@v.loewis.de> wrote:
Dirkjan: if you agree to such a strategy, please mention that in the PEP.
Having a pushlog and/or including the pusher in the email sounds like a good idea, I'll add something to that effect to the PEP. I slightly prefer adding it to the commit email because it would seem to require less infrastructure, and it can be handy at times to know who pushed something right off the bat. Cheers, Dirkjan