[plt-dev] Notifications poll (was: repository information)

From: Noel Welsh (noelwelsh at gmail.com)
Date: Mon Apr 19 11:45:40 EDT 2010

In the brave new world of git there should be many fewer commits to
the main branch so I favour 4 until evidence indicates it fails.


On Mon, Apr 19, 2010 at 5:05 AM, Eli Barzilay <eli at barzilay.org> wrote:
> 1. Leave things as they are now: the few people who wanted to get
>   notifications will continue getting them, nobody else will.
> 2. Create a new mailing list for commits, and have all comitters on it
>   (as well as anyone else who wants to be on it).  Leave plt-dev
>   alone.
> 3. Send *summary* emails (=> only changed file lists and commit logs,
>   no diffs) to plt-dev.  Doing this will require some solution for
>   people who want to get the diffs, but don't want to give up being
>   on plt-dev -- in this case they'll need to go through the hassle of
>   filtering the plt-dev messages out and keep the more detailed
>   messages.
> 4. Send the complete emails to plt-dev -- as I originally suggested.
>   This might get a little too verbose a few times (eg, large
>   commits), so it might require some adjusting.
> 5. Any other suggestion?  (If you have a suggestion, then please reply
>   on the list, not directly to me.)

Posted on the dev mailing list.