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

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.

N.

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.)